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

Registered user since Thu 15 Dec 2016

Name:Sebastian Ullrich
Country:Germany
Affiliation:Lean FRO
Personal website: https://sebasti.a.nullri.ch
GitHub: https://github.com/Kha
Research interests:Interactive Theorem Proving, Program Verification

Contributions

2025

WITS

  • Chair in Program Committee within the WITS 2025-track

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
xSun 11 May 20:45
using conf.researchr.org (v1.69.0)
Support page
Sign Up