Andreas Abel

Registered user since Sat 12 Jul 2014

Name:Andreas Abel


  • 2013- Senior lecturer at Dept. of Computer Science, Gothenburg University
  • 2013 Habilitation at Ludwig-Maximilians-University (LMU) Munich
  • 2009-2010 Guest professor at INRIA, Paris
  • 2008-2013 Assistant professor at Chair for Theoretical Computer Science (TCS), LMU
  • 2006 PhD from LMU
  • 2005-2008 Wissenschaftlicher Mitarbeiter at TCS
  • 2004-2005 Researcher at Chalmers, Gothenburg
  • 1999-2003 PhD student at TCS
  • 1999 Computer science diploma from LMU

Main interests:

  • mathematical logic and formal languages
  • functional programming
  • lambda calculus
  • dependent types
  • termination and coinduction
  • proof assistants
  • development of the Agda programming language
Affiliation:Gothenburg University
Research interests:Programming Languages, Logic, Types


PADL 2023 Committee Member in Program Committee within the PADL 2023-track
POPL 2023 Committee Member in Program Committee within the POPL-track
Show activities from other conferences

POPL 2023-profile
View general profile