CITRIS and the Banatao Institute
Creating information technology solutions for society's most pressing challenges
Professor, Computer Science and Engineering
UC Santa Cruz
Engineering, Cyber Security And Computer Science, Computer Security, Concurrency, Dynamic Program Analysis, Formal Methods, Program Verification, Programming Languages, Secure Software Development, Software Reliability, Static Program Analysis, Type Systems
Professor Emeritus, Computer Science and Engineering
UC Santa Cruz
Engineering, Algorithms, Computer Science Fundamentals, Programming Languages
Professor Emeritus, Computer Science and Engineering
UC Santa Cruz
Engineering, Programming, Education, Parallel Computing, Programming Languages
Professor Emeritus, Electrical Engineering and Computer Sciences (EECS)
UC Berkeley
Engineering, Database Systems, Ai Systems, Data Management, Data Science Systems, Data Transformation, Data-oriented Systems, Distributed Consistency, Distributed Programming Models, Distributed Systems, Human–computer Interaction, Interactive Data Visualization, Isolation, Machine Learning Systems, Networking, Programming Languages, Query Processing, Serverless Computing, Systems Security
