Jasmin Blanchette
   HOME

TheInfoList



OR:

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