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