Jasmin Christian Blanchette is a computer scientist working as a professor of theoretical computer science at the Ludwig Maximilian University of Munich.
[2] 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).
This biographical article relating to a computer scientist is a stub.