Jasmin Blanchette
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.[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 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.