| Jasmin Blanchette | |
| Education: | Université de Sherbrooke (BS) University of Oslo (MS) Technical University of Munich (PhD) |
| Discipline: | Computer science |
| Sub Discipline: | Theoretical computer science |
| Birth Name: | Jasmin Christian Blanchette |
Jasmin Christian Blanchette is a computer scientist working as a professor of theoretical computer science at the Ludwig Maximilian University of Munich.[1]
Blanchette earned a Bachelor of Science degree in computer science from the Université de Sherbrooke, a Master of Science in computer science from the University of Oslo, and a PhD in computer science from the Technical University of Munich.[2]
Blanchette is the editor-in-chief of the Journal of Automated Reasoning. He is also a guest researcher at the University of Lorraine and the Max Planck Institute for Informatics. He was previously an associate professor at the Vrije Universiteit Amsterdam and a software engineer and documentation manager for Trolltech (now The Qt Company).[3] [4]