معرفی
Assia Mahboubi is an Endowed Professor at the Department of Mathematics, Faculty of Science, Vrije Universiteit Amsterdam, holding the title 'Automated Verification of Mathematical Proof'. She concurrently serves as a researcher at Inria Nantes since 2018. Her research focuses on formal methods in mathematics and computer science, particularly type theory, formal proof systems, and computer algebra. She leads projects related to automated reasoning, dependent type systems, and formalization of mathematical theories.
Education & Professional Background:
- PhD in Mathematics (implied by academic rank)
- Ancillary activity: Researcher at Inria, Nantes
Research Interests:
Her work centers on foundational aspects of formal proofs, including type theory, automated reasoning, and the formalization of complex mathematical concepts like polynomial equations and continuity models. She develops tools for compositional preprocessing in theorem proving and explores univalent foundations in proof transfer.
Recent Work Trends:
Recent publications emphasize advancements in proof automation, dependent type systems, and the formal verification of algebraic structures. Her work bridges theoretical computer science with practical formal methods implementation.
Labs/Teams:
Associated with Inria research teams and the Computer Algebra Nederland foundation. Engages in collaborative projects with international institutions through her network in type theory and formal methods communities.
