• Sign in
  • Sign up
conf.researchr.org / Jannis Limperg
  • ICFP 2022 profile
  • ICFP 2023 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • POPL 2025 profile
Jannis Limperg

Registered user since Mon 14 Dec 2020

Name:Jannis Limperg
Bio:

PhD student at LMU Munich on the Lean Forward project

Country:Germany
Affiliation:University of Munich (LMU)
Personal website: https://limperg.de
GitHub: https://github.com/JLimperg
Research interests:Interactive theorem proving, proof automation, type theory

Contributions

2025

CPP

  • Author of Tactic Script Optimisation for Aesop within the CPP 2025-track

2023

ICFP

  • Co-chair in Artifact Evaluation Committee within the Artifact Evaluation-track
  • Artifact Evaluation Chair in Organizing Committee

CPP

  • Author of Aesop: White-Box Best-First Proof Search for Lean within the CPP 2023-track

2022

ICFP

  • Co-chair in Evaluators within the Artifact Evaluation-track
  • Artifact Evaluation Co-Chair in Organizing Committee

2021

CPP

  • Author of A Novice-Friendly Induction Tactic for Lean within the CPP 2021-track
Share
xFri 23 May 23:46
using conf.researchr.org (v1.69.0)
Support page
Sign Up