Projects

Solving difficult SMT instances using abstractions and incremental SMT solving

Bachelor Thesis

Efficient unpacking of required software from CVMFS

CERN Openlab Summer Student Internship

Developing a Deca subset compiler

Projet Genie Logiciel, ENSIMAG

Studyplan

Practical Software Engineering Project (PSE)