Jasmin Blanchette
Jasmin Blanchette | |
|---|---|
 Blanchette in Bamberg (2025) | |
| 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 LMU Munich.[1]
Education
[edit]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]
Career
[edit]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]
References
[edit]- ↑ "TCS Mitarbeiter - Prof. Jasmin Blanchette". www.tcs.ifi.lmu.de. Ludwig-Maximilians-Universität München. 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.