Jannis Limperg

Pronouns: he/him

Researcher, Agentic AI, Amazon

PhD student, Computer Science, Ludwig-Maximilians-Universität München

  • Joined September 2024

Names

Jannis Limperg (Preferred)

Emails

****@lmu.de (Confirmed)
,
****@limperg.de (Confirmed)
,
****@amazon.de (Confirmed)

Personal Links

Career & Education History

Researcher
Agentic AI, Amazon (amazon.com)
2025 – Present
 
PhD student
Computer Science, Ludwig-Maximilians-Universität München (lmu.de)
2023 – 2025
 
PhD student
Computer Science, Vrije Universiteit Amsterdam (vu.nl)
2020 – 2023
 

Advisors, Relations & Conflicts

PhD Advisor
2020 – 2025
 

Expertise

dependent type theory, interactive theorem proving
2020 – Present