• Sign in
  • Sign up
conf.researchr.org / Sebastian Ullrich
  • ICFP 2017 profile
  • PLDI 2020 profile
  • POPL 2017 profile
  • POPL 2022 profile
Sebastian Ullrich

Registered user since Thu 15 Dec 2016

Name:Sebastian Ullrich
Country:Germany
Affiliation:Karlsruhe Institute of Technology
Personal website:https://pp.ipd.kit.edu/~ullrich/
Twitter:https://twitter.com/derKha
GitHub:https://github.com/Kha
Research interests:Interactive Theorem Proving, Program Verification

Contributions

WITS 2022 Author of Gotta prove fast: building an ecosystem for effortless native compilation of tactics within the WITS 2022-track
PLDI 2020 Presenter of Lean 4 within the Sponsors-track
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

Share
xFri 20 May 01:03
using conf.researchr.org (v1.55.6)
Support page
Sign Up