2018 Internship

In 2018, I did an internship at Princeton University, about verifying a B+Trees Library using VST. This work was supervised by Andrew Appel and part of the DeepSpecDB project.

Internship Report

2017 Winter Internship

In Winter 2017, I did an internship in the University Federico II in Naples, about Changing Observation in Epistemic Temporal Logics. This internship was done under the supervision of Aniello Murano, Bastien Maubert and Sasha Rubin.

Internship Report

2017 Summer Internship

In Summer 2017, I did an internship with the Software Foundations Laboratory in Seoul National University, about implementing integer-pointer cast semantics in CompCert. This internship was done under the supervision of Chung-Kil Hur.

Internship Report

2016 Internship

In 2016, I did an internship in the CELTIQUE team (IRISA Rennes), on high level Worst Case Execution Time (WCET) estimation using Abstract Interpretation and Constraint Programming. This internship was done under the supervision of Charlotte Truchet and David Cachera.

My work can be found on github (report in French).

Other projects

Most of my work can be found on my github page.