Samuel Teuber
Samuel Teuber
About Me
Research
Teaching
Blog
Student
Solving difficult SMT instances using abstractions and incremental SMT solving
Bachelor Thesis
GitHub
Bachelor Thesis
Publication
Efficient unpacking of required software from CVMFS
CERN Openlab Summer Student Internship
Slides
Video
GitHub
Publication
Developing a Deca subset compiler
Projet Genie Logiciel, ENSIMAG
Studyplan
Practical Software Engineering Project (PSE)
Slides
GitHub
Cite
×