Samuel Teuber

Samuel Teuber

Computer Science Student

Karlsruhe Institute of Technology

Welcome

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. I am also a student assistant in a course on programming paradigms at KIT, Karlsruhe.

Interests

  • Formal Methods
  • Software Verification
  • Machine Learning Verification
  • Theoretical Computer Science

Education

  • 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

Professional Experience

 
 
 
 
 

Student Assistant for Software Quantification Research

KASTEL / ITI Beckert, KIT

Apr 2021 – Oct 2021 Karlsruhe
 
 
 
 
 

Student Assistant for Software Safety Quantification Research

ITI Beckert, KIT

Oct 2020 – Dec 2020 Karlsruhe
Development of counterSharp: A tool for the quantification of C-programs based on specification adherence.
Work will be published in a paper at QEST 2021.
 
 
 
 
 

Student Assistant for “Programmierparadigmen”

IPD Snelting, KIT

Oct 2019 – Mar 2021 Karlsruhe
During the winter semesters 2019 and 2020 I was a student assistant for the lecture on programming paradigms by Prof. Gregor Snelting at KIT.
My main duties were holding a weekly exercise and correcting exercise sheets.
In 2020 the exercise was held entirely as an online course.
 
 
 
 
 

CERN Openlab Summer Student

EP-SFT, CERN

Jun 2018 – Aug 2018 Geneva

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

 
 
 
 
 

Projet Génie Logiciel

ENSIMAG

Jan 2018 – Jan 2018 Grenoble

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

 
 
 
 
 

Studyplan

IPD Böhm, KIT

Oct 2016 – Mar 2017 Karlsruhe

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

 
 
 
 
 

Student Assistant

IT-Centre for the humanities, LMU

Dec 2015 – Dec 2016 Munich

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

Accomplish­ments

Scholarship holder at Cusanuswerk e.V.

Awarded by the German Catholic Bishops’ Conference and funded by the German Federal Ministry of Science and Research as one of thirteen government funded scholarship foundations for academic excellence

Abitur prize of the German Physics Association (DPG)

Voluntary Experience

 
 
 
 
 

Helping Fridays for Future Karlsruhe

Mar 2019 – Dec 2019 Karlsruhe
The climate crisis is an existential threat to our society.
For this reason, I volunteered for nearly one year organizing strikes and other events of Fridays for Future Karlsruhe.
During the time I helped in both, event organization and policy development.
However, due to limited time resources, I had to cut down on my activities in 2020.
 
 
 
 
 

Spokesperson of the students' residence

Hermann-Ehlers-Kolleg

Oct 2016 – Mar 2017 Karlsruhe
  • Representation of students' interests towards the residence’s landlord
  • Organization of various events accommodating the residence’s new inhabitants
 
 
 
 
 

Network Administration

Hermann-Ehlers-Kolleg

Dec 2015 – Present Karlsruhe
Administration and development of the network infrastructure in my students' residence.

Recent Posts

About this blog

What this blog represents