Jasmin Blanchette

Registered user since Tue 21 Mar 2017

Name: Jasmin Blanchette

Country: Netherlands

Affiliation: Vrije Universiteit Amsterdam

Personal website: http://www.cs.vu.nl/~jbe248/

Research interests: Theorem Proving

Contributions

CPP 2020Session Chair of Invited talk (part of CPP 2020)
Program Co-Chair in Program Committee within the CPP 2020-track
Author of PC Chairs' report within the CPP 2020-track
PLNL 2018Author of A Verified Automatic Prover Based on Ordered Resolution within the PLNL-track
CPP 2019Author of Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL within the CPP 2019-track
Author of A Verified Prover Based on Ordered Resolution within the CPP 2019-track
TACAS 2019Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track
POPL 2019Author of Bindings as Bounded Natural Functors within the Research Papers-track
FSCD 2017Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track
CPP 2018Committee Member in Program Committee within the CPP 2018-track
Author of A Verified SAT Solver with Watched Literals Using Imperative HOL within the CPP 2018-track
ICFP 2017Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track
Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track
Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track
ESOP 2015Author of Witnessing (Co)datatypes within the ESOP-track