| Jasmin Blanchette | |
|---|---|
| Born | Jasmin Christian Blanchette |
| Academic background | |
| Education | Université de Sherbrooke (BS) University of Oslo (MS) Technical University of Munich (PhD) |
| Academic work | |
| Discipline | Computer science |
| Sub-discipline | Theoretical computer science |
Jasmin Christian Blanchette is a computer scientist working as a professor of theoretical computer science at the Ludwig Maximilian University of Munich.
Education
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.
Career
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).
References
- "TCS Mitarbeiter - Prof. Jasmin Blanchette". www.tcs.ifi.lmu.de. Ludwig Maximilian University of Munich. Retrieved 16 March 2023.
- "Jasmin Christian Blanchette February 2017" (PDF). loria.fr. 2017.
- "Jasmin Blanchette". www.cs.vu.nl. Retrieved 18 August 2022.
- "ORCID". orcid.org. Retrieved 18 August 2022.
| P ≟ NP | This biographical article relating to a computer scientist is a stub. You can help Misplaced Pages by expanding it. |