Jasmin Blanchette

Prof. Dr. Jasmin Blanchette is a faculty member at the Ludwig Maximilian University of Munich, holding the chair in Theoretical Computer Science and Theorem Proving. She serves as Dean of Studies for Computer Science and collaborates with the VeriDis group at Loria, Nancy. Her research focuses on combining automatic and interactive theorem proving to enhance proof automation for critical systems and mathematical research.

• Key Research Areas: Higher-order logic, formal verification, superposition calculus, proof assistants (Isabelle/HOL, Lean), definitional mechanisms for (co)datatypes.
• Recent Articles address advanced topics in higher-order reasoning, SMT integration, and algorithm verification.

Scientific Recognition: Co-awarded best papers at FroCoS 2023 and CADE 2023. Supervises a team of postdocs and PhD students working on projects like Matryoshka and Nekoka. Her tools (Sledgehammer, Nitpick) are widely used in formal methods.