Expertise
Programming logic (verification, refinement), concurrency (components, implementation), embedded systems (modelling, analysis), programming languages (run-time, compilation)
Research Clusters
-
Undergraduate Advisor for Computer Science
Computing and Software
-
Professor
Computing and Software