معرفی
Ana Bove is an Associate Professor (Docent) at Chalmers University of Technology and University of Gothenburg, affiliated with the Department of Computer Science and Engineering. She leads the Logic and Types unit in the Computing Science division since 2021. Her research focuses on type theory, formal methods, and programming languages, with contributions to dependent types, interactive theorem provers, and functional programming.
- Affiliations: Chalmers University, University of Gothenburg
- Roles: Head of Logic and Types unit, former Director of Studies (CSE), Project Manager (ForMath EU project)
Her work emphasizes foundational aspects of programming languages and verified software. Notable projects include the ForMath EU initiative under Prof. Thierry Coquand. She has contributed to Agda and type systems, with over 28 publications in formal methods and theoretical computer science.
Research interests include recursion models in type theory, partial functions, and alpha-structural induction. Her lab, the Logic and Types unit, explores advanced type systems and formal verification techniques.
