HOME | ENGLISH | IMPRESSUM | KIT

M.Sc. Sebastian Graf

photo

Kontakt

Tel.: +49 721 608-48351

Email: Loading...

[Web]

IPD Prof. Snelting

Raum 030, Gebäude 50.34

Am Fasanengarten 5

76131 Karlsruhe

Deutschland

Arbeitsgebiete

Compiler, funktionale Programmiersprachen, Typsysteme, Verifikation

Lehre

Veröffentlichungen

2020

2019

2017

Betreute Studien- und Abschlussarbeiten

vergeben

abgeschlossen

Bearbeitete Studien- und Abschlussarbeiten