Programming Languages and Software Engineering

Research Topics: Programming languages; epistemic logic; type theory; concurrency; language-based security; information-flow control

Research Topics: Databases; programming languages; user interfaces for data science; scalable compilers; managing uncertainty in data; data structures; healthy and equitable food systems

Research Topics: Concurrency/parallelism; real-time Java; session types for distributed systems; visual debugging