HOME | DEUTSCH | IMPRESSUM | KIT

M.Sc. Sebastian Graf

photo

Contact

Phone: +49 721 608-47401

Email: Bitte warten...

[Web]

IPD Prof. Snelting

Room 022, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Research interests

Compilers, functional programming languages, type systems, formal verification

Courses

Publications

2024

2022

2020

2019

2017

Advised thesis projects

finished

Theses worked on