conf.researchr.org / Sebastian Ullrich
Registered user since Thu 15 Dec 2016
Name: Sebastian Ullrich
Country: Germany
Affiliation: KIT, Germany
Personal website: https://pp.ipd.kit.edu/~ullrich/
Research interests: Interactive Theorem Proving, Program Verification
Contributions
| ICFP 2017 | Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track |
| POPL 2017 | Presenter of The Lean Theorem Prover within the Tutorials-track |