HOME | ENGLISH | IMPRESSUM | KIT

M.Sc. Sebastian Ullrich

photo

Kontakt

Tel.: +49 721 608-47401

Email: Loading...

IPD Prof. Snelting

Raum 022, Gebäude 50.34

Am Fasanengarten 5

76131 Karlsruhe

Deutschland

Sprechzeiten: wann immer ich da bin / whenever I'm in my office

Arbeitsgebiete

Interaktive Theorembeweiser, Programmverifikation

Lehre

Veröffentlichungen

2022

2021

2020

2019

2017

2016

Projekte

Betreute Studien- und Abschlussarbeiten

laufend

abgeschlossen

Bearbeitete Studien- und Abschlussarbeiten