Solving difficult SMT instances using abstractions and incremental SMT solving
Bachelor Thesis
16. Sep 2019
Efficient unpacking of required software from CVMFS
CERN Openlab Summer Student Internship
31. Aug 2018
Developing a Deca subset compiler
Projet Genie Logiciel, ENSIMAG
31. Jan 2018
Studyplan
Practical Software Engineering Project (PSE)
31. Mar 2017