Steven Schäfer

I am a graduate student at Saarland University and a PhD student at the Programming Systems Lab. I develop techniques for the formalization of higher-order languages, with applications in formalized metatheory and in compiler verification.

Together with Tobias Tebbi, I developed 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