2017 Internship

I am currently doing an internship with the Software Foundations Laboratory in Seoul National University, about implementing integer-pointer cast semantics in CompCert. This internship is done under the supervision of Chung-Kil Hur.

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.

Other projects

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