My name is Samuel Teuber and I am a Master Student of Computer Science at KIT, Karlsruhe. I have previously obtained a B.Sc. degree in Computer Science at KIT and spent a year abroad in Grenoble, France through the ERASMUS programme.
I am interested in theoretical computer science with a focus on formal methods applied to software and machine learning verification.
Pursuing M.Sc. in Computer Science, 2020-today
Karlsruhe Institute of Technology
ERASMUS Exchange, 2017-2018
ENSIMAG, Grenoble
B.Sc. in Computer Science, 2015-2020
Karlsruhe Institute of Technology
A Levels (Abitur), 2015
Oskar-von-Miller-Gymnasium, München
Development of an export functionality for software from CernVM File System (CVMFS) into standalone images in cooperation with Nicholas Hazekamp, another intern in the group.
The results of our work are now part of CVMFS in the cvmfs_shrinkwrap
utility.
Used Technologies: C(++), Python
Information on the Project
Development of a small compiler for a subset of the language Deca in a team of 5 students
Used Technologies: Java, ANTLR
Information on the Project
During my 3rd semester at KIT I participated in the Practical Software Engineering Project (PSE) in which we developed a web application with a Java based REST-API which was used by a single page JavaScript web app. The application allowed the generation and verification of students' curricula
Used Technologies: Java, MySQL, JavaScript
Information on the Project
Development of web applications and character or structure converters for various projects of the centre including “Biblia Hebraica Transcripta”, “VerbaAlpina”, “Coptic Ostraka Online, “Atlante linguistico digitale dell’Italia e della Svizzera meridionale”.
Used technologies: HTML, PHP, JavaScript, Java, SQL, WordPress