Jannis Limperg (Preferred)
Jannis Limperg
Researcher, Agentic AI, Amazon
Joined
September 2024
Names
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
Expertise
dependent type theory
, interactive theorem proving
2020 – Present