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, LMU or LMU Munich; ) is a public university, public research university in Munich, Bavaria, Germany. Originally established as the University of Ingolstadt in 1472 by Duke ...
.
Education
Blanchette earned a Bachelor of Science degree in computer science from the
Université de Sherbrooke
The Université de Sherbrooke (UdeS; Quebec English, English: ''University of Sherbrooke'') is a French-language Public university, public research university in Sherbrooke, Quebec, Canada, with a second campus in Longueuil, a suburb on the Mont ...
, a Master of Science in computer science from the
University of Oslo
The University of Oslo (; ) is a public university, public research university located in Oslo, Norway. It is the List of oldest universities in continuous operation#Europe, oldest university in Norway. Originally named the Royal Frederick Univ ...
, and a PhD in computer science from the
Technical University of Munich
The Technical University of Munich (TUM or TU Munich; ) is a public research university in Munich, Bavaria, Germany. It specializes in engineering, technology, medicine, and applied and natural sciences.
Established in 1868 by King Ludwig II ...
.
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 (), abbreviated as UL, is a public research university based in Lorraine, Grand Est region, France. It was created on 1 January 2012, by the merger of Henri Poincaré University, Nancy 2 University, Paul Verlaine Un ...
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 host ...
. He was previously an associate professor at the
Vrije Universiteit Amsterdam
The (abbreviated as ''VU Amsterdam'' or simply ''VU'' when in context) is a public university, public research university in Amsterdam, Netherlands, founded in 1880. The VU Amsterdam is one of two large, publicly funded research universities in ...
and a software engineer and documentation manager for Trolltech (now
The Qt Company
Qt Group Plc (Qt is pronounced "cute") is a software company headquartered in Espoo, Finland. It was formed following the acquisition of Qt by Digia, but was later spun off into a separate, publicly traded company.
The company oversees the dev ...
).
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
Living people
Year of birth missing (living people)
{{Compu-scientist-stub