Jasmin Christian Blanchette is a computer scientist working as a professor of theoretical computer science at the

Ludwig Maximilian University of Munich The Ludwig Maximilian University of Munich (simply University of Munich or LMU; german: Ludwig-Maximilians-Universität München) is a public research university in Munich, Germany. It is Germany's sixth-oldest university in continuous operatio ...

Education

Blanchette earned a Bachelor of Science degree in computer science from the

Université de Sherbrooke The University of Sherbrooke ( French: Université de Sherbrooke) (UdS) is a large public French-language university in Quebec, Canada with campuses located in Sherbrooke and Longueuil, a suburb of Montreal approximately west of Sherbrooke. It ...

, a Master of Science in computer science from the

University of Oslo The University of Oslo ( no, Universitetet i Oslo; la, Universitas Osloensis) is a public research university located in Oslo, Norway. It is the highest ranked and oldest university in Norway. It is consistently ranked among the top universit ...

, and a PhD in computer science from the

Technical University of Munich The Technical University of Munich (TUM or TU Munich; german: Technische Universität München) is a public research university in Munich, Germany. It specializes in engineering, technology, medicine, and applied and natural sciences. Establis ...

Career

Blanchette is the editor-in-chief of the ''

Journal of Automated Reasoning The ''Journal of Automated Reasoning'' was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and ...

''. He is also a guest researcher at the

University of Lorraine The University of Lorraine (), often abbreviated in UL, is a grand établissement created on 1 January 2012, by the merger of Henri Poincaré University, Nancy 2 University, Paul Verlaine University – Metz and the National Polytechnic Institute ...

and the

Max Planck Institute for Informatics The Max Planck Institute for Informatics (German: ''Max-Planck-Institut für Informatik'', abbreviated ''MPI-INF'' or ''MPII'') is a research institute in computer science with a focus on algorithms and their applications in a broad sense. It hosts ...

. He was previously an associate professor at the

Vrije Universiteit Amsterdam The Vrije Universiteit Amsterdam (abbreviated as ''VU Amsterdam'' or simply ''VU'' when in context) is a public research university in Amsterdam, Netherlands, being founded in 1880. The VU Amsterdam is one of two large, publicly funded research ...

and a software engineer and documentation manager for Trolltech (now

The Qt Company The Qt Company (pronounced "cute"; formerly Trolltech and Quasar Technologies) is a software company based in Espoo, Finland. It oversees the development of its Qt application framework within the Qt Project. It was formed following the acqui ...

References

Technical University of Munich alumni Academic staff of the University of Lorraine Academic staff of the Ludwig Maximilian University of Munich Academic staff of Bundeswehr University Munich Université de Sherbrooke alumni University of Oslo alumni {{Compu-scientist-stub