HOME | DEUTSCH | IMPRESSUM | KIT

M.Sc. Sebastian Graf

photo

Contact

Phone: +49 721 608-47399

Email: Bitte warten...

[Web]

IPD Prof. Snelting

Room 025, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Research interests

Compilers, functional programming languages, type systems, formal verification

Courses

Publications

2020

2019

2017

Advised thesis projects

finished

Theses worked on