Jasmin Blanchette

Registered user since Tue 21 Mar 2017

Name:Jasmin Blanchette
Country:Netherlands
Affiliation:Vrije Universiteit Amsterdam
Research interests:Theorem Proving

Contributions

CPP 2022 Committee Member in Steering Committee within the CPP 2022-track
CPP 2021 Author of A Modular Isabelle Framework for Verifying Saturation Provers within the CPP 2021-track
Steering Committee Member in Steering Committee within the CPP 2021-track
CPP 2020 Session 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 2018 Author of A Verified Automatic Prover Based on Ordered Resolution within the PLNL-track
CPP 2019 Author 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 2019 Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track
POPL 2019 Author of Bindings as Bounded Natural Functors within the Research Papers-track
FSCD 2017 Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track
CPP 2018 Committee 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 2017 Presenter 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 2015 Author of Witnessing (Co)datatypes within the ESOP-track