Koushik Sen Division of Computer Science (EECS) computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation
Alvin Cheung Division of Computer Science (EECS) program analysis, program synthesis, database application performance, big systems, big data, database management, database management systems, database design and construction, programming languages and compilers, programming languages
Mark van der Laan Dept of Statistics School of Public Health targeted learning, real-world data integration in RCTs, sequential adaptive designs, computational biology and genomics, censored data and survival analysis, medical research, inference in longitudinal studies
Joseph M. Hellerstein Division of Computer Science (EECS) computer science, database systems, distributed systems