Steven Schäfer

I am a graduate student at Saarland University and a PhD student at the Programming Systems Lab. My current research focuses on program semantics for compiler verification. Previously, I worked on the Autosubst library for formalizing languages with binders.


Mail address
Saarland University
Saarland Informatics Campus E1 3, 524
66123 Saarbrücken

Phone: + 49 (0) 681 302-5609
E-Mail: image