Programming Languages and Software Engineering

Research Topics: Software/systems security and software engineering; program analysis and testing; machine learning for security; security and reliability of multi-language software, distributed systems, and mobile/IoT systems and applications

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: Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security

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