Jasmin Christian Blanchette


    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Personal information

    I am an assistant professor in the Theoretical Computer Science section of the Vrije Universiteit Amsterdam, in the Netherlands. I am also a guest researcher in the VeriDisgroup at Loria in Nancy, France, and in the Automation of Logic group at the Max-Planck-Institut für Informatik in Saarbrücken, Germany. I was a postdoc at the Chair for Logic and Verification at the Technische Universität München, Germany, which I joined in 2008 as a PhD student. From 2000 to 2008, I worked as software engineer and documentation manager for Trolltech (now The Qt Company) in Oslo, Norway.


    My research focuses on the use of first-order automatic theorem provers and model finders to find proofs and counterexamples in higher-order logic (SledgehammerNitpickNunchaku, and Matryoshka). Another aspect of my work is the development of foundational definitional mechanisms for (co)datatypes and (co)recursive functions. I am also interested in formalizing classic results and modern research in automated reasoning (IsaFoL) and number theory (Lean Forward).


    Ancillary activities

    No ancillary activities

    Ancillary activities are updated daily


    Dive into the research topics where Jasmin Christian Blanchette is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 2 Similar Profiles


    Recent external collaboration on country level. Dive into details by clicking on the dots.
    Your message has successfully been sent.
    Your message was not sent due to an error.
    If you made any changes in Pure these will be visible here soon.