Timothy Bourke -

Registered user since Thu 8 Sep 2016

Name:Timothy Bourke

Country:France

Affiliation:Inria/ENS

Personal website: http://www.tbrk.org

GitHub: https://github.com/tbrk

Research interests:Interactive Theorem Proving, Embedded Systems, Formal Methods, Programming Languages

Contributions

2027

FormaliSE

Committee Member in Program Committee Members within the Research Track-track

2023

REBLS

Committee Member in Program Committee within the REBLS-track

2021

REBLS

Author of Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk) within the REBLS 2021-track

2020

POPL

Author of Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset within the Research Papers-track

2019

OCaml

Committee Member in Program Committee within the OCaml 2019-track

2017

PLDI

2016

OCaml

Author of Sundials/ML: interfacing with numerical solvers within the OCaml-track