Scholar
Jasmin Blanchette
Google Scholar ID: OpuTG3IAAAAJ
Ludwig-Maximilians-Universität München
Citations & Impact
Citations
1,943
H-index
26
i10-index
51
Publications
20
Co-authors
56
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Supervised PhD students Martin Desharnais-Schäfer and Anne Baanen to successfully defend their PhD theses.
Research Experience
- Research Projects: Development and use of automatic theorem provers and model finders (such as Sledgehammer and Nitpick) and projects (such as Matryoshka and Nekoka). Also interested in formalizing classic results and modern research in automated reasoning (IsaFoL) and number theory (Lean Forward). Additionally, developing foundational definitional mechanisms for (co)datatypes and (co)recursive functions.
Education
- Insufficient information
Background
- Research Interests: Theorem proving, formal methods, theoretical computer science. Professional Field: Theoretical Computer Science and Theorem Proving. Bio: Professor at Ludwig-Maximilians-Universität München, Dean of Studies for Computer Science. Also a guest researcher in the VeriDis group at Loria in Nancy.
