- Professor and Director of Graduate Studies
- Software and Languages Research Group Computer Science Dept, School of Engineering, UCSC
- 1156 High Street, Santa Cruz, CA 95064
- P
- 831-459-5375
- F
- 831-459-4829
- EDIT PROFILE
Expertise:
- Functional Programming / Binding-Time Analysis (41)
- Model Checking / Hybrid Systems (11)
- Logic Programs / Algebraic Semantics (4)
- Wireless Networks / Cellular Systems (1)
- Communication Complexity / Lower Bounds (1)
- Combinatorial optimization problem / Linear Programming (1)
Conference:
- POPL (9)PLDI (9)ESOP (5)ACM Trans. Program. Lang. Syst. (4)TLDI (4)ISSTA (3)
