HOME | DEUTSCH | IMPRESSUM | KIT

M.Sc. Sebastian Ullrich

photo

Contact

Phone: +49 721 608-47399

Email: >>please click this text<<

IPD Prof. Snelting

Room 025, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Consultation Hours: wann immer ich da bin

Research interests

Interactive theorem proving, program verification

Courses

Publications

2017

2016

Projects

Theses worked on