Expertise
Logic, mechanized mathematics, mathematical knowledge management, formal methods.
Areas of Specialization
Research Clusters
-
Professor
Computing and Software
-
Acting Chair (January 2025 - June 2025)
Computing and Software