Jump to content

Jasmin Blanchette

From Wikipedia, the free encyclopedia

Jasmin Blanchette
Born
Jasmin Christian Blanchette
Academic background
EducationUniversité de Sherbrooke (BS)
University of Oslo (MS)
Technical University of Munich (PhD)
Academic work
DisciplineComputer science
Sub-disciplineTheoretical 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]
  1. ^ "TCS Mitarbeiter - Prof. Jasmin Blanchette". www.tcs.ifi.lmu.de. Ludwig Maximilian University of Munich. Retrieved 16 March 2023.
  2. ^ "Jasmin Christian Blanchette February 2017" (PDF). loria.fr. 2017.
  3. ^ "Jasmin Blanchette". www.cs.vu.nl. Retrieved 18 August 2022.
  4. ^ "ORCID". orcid.org. Retrieved 18 August 2022.