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 2023	Committee Member in Steering Committee within the CPP 2023-track
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
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
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
PLNL 2018	Author of A Verified Automatic Prover Based on Ordered Resolution within the PLNL-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
FSCD 2017	Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track
ESOP 2015	Author of Witnessing (Co)datatypes within the ESOP-track