• Sign in
  • Sign up
conf.researchr.org / Sebastian Ullrich
  • ICFP 2017 profile
  • ICFP 2022 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

2022

PLMW

  • Speaker of Introduction to Lean within the PLMW @ ICFP 2022-track

ICFP

  • Author of 'do' Unchained: Embracing Local Imperativity in a Purely Functional Language within the ICFP Papers and Events-track

WITS

  • Author of Gotta prove fast: building an ecosystem for effortless native compilation of tactics within the WITS 2022-track

2020

PLDI

  • Presenter of Lean 4 within the Sponsors-track

2017

ICFP

  • Author of A Metaprogramming Framework for Formal Verification within the Research Papers-track

POPL

  • Presenter of The Lean Theorem Prover within the Tutorials-track
Share
xFri 22 Sep 00:57
using conf.researchr.org (v1.62.0)
Support page
Sign Up