معرفی
Åsa Hirvonen is a Senior University Lecturer in the Department of Mathematics and Statistics at the University of Helsinki, Faculty of Science. She holds the title of Docent in the same department and serves as a supervisor in the Doctoral Programme in Mathematics and Statistics. Her primary academic base is Exactum, Room D331, and she can be contacted via email at asa.hirvonen@helsinki.fi or by phone at +358-2941-51442.
Her research lies at the intersection of mathematical logic and model theory, with a focus on metric model theory, approximation, dependence logic, and team semantics. She explores structural properties of metric structures, perturbations, and logical frameworks for quantum computation and probabilistic reasoning.
The 15 most recent publications reflect a sustained research trajectory in advanced model theory, particularly in metric and continuous settings. Themes include categoricity, ultraproducts, Scott sentences, and logical semantics in probabilistic and quantum contexts. Her work appears in prestigious journals such as the Journal of Symbolic Logic and Annals of Pure and Applied Logic, as well as in conference proceedings and edited volumes, demonstrating both depth and interdisciplinary reach.
- Senior University Lecturer, Department of Mathematics and Statistics, University of Helsinki
- Docent, Department of Mathematics and Statistics, University of Helsinki
- Supervisor, Doctoral Programme in Mathematics and Statistics
- Editor, Logic Colloquium 2015 Proceedings
- Editor, WoLLIC 2016 Proceedings
Åsa Hirvonen has supervised doctoral students and contributed to the academic community through editorial roles and organization of scientific events. While specific grants are not listed, her sustained publication record and editorial leadership indicate active research funding and collaboration. She teaches a range of courses including Mathematical Logic, Set Theory, Complexity Theory, and Quantum Computation, contributing significantly to both undergraduate and graduate education.
She leads and participates in research groups focused on logic, model theory, and their applications. Her work bridges pure mathematical logic with theoretical computer science and quantum information, fostering collaboration across disciplines. The labs and teams she is involved with are centered around the logic group at the University of Helsinki, known for its strength in dependence logic and model theory.
