(2017) Random testing with Benjamin C. Pierce at the University of Pennsylvania.

(2016) Bidirectional programming with Meng Wang at the University of Kent.

(2015) Participated in the design of Luck, a DSL for writing random generators as annotated predicates, at INRIA Paris with Cătălin Hriţcu, Leonidas Lampropoulos, Benjamin C. Pierce, John Hughes.

(2014) Internship on prefix circuits (parallel implementations of scan) with Mary Sheeran at Chalmers University.

(2013) How to efficiently sign paper contracts? An approach to a combinatorics problem, with David Naccache at ENS Paris.

Past projects