Write a Blog >>
Andreas Abel

Registered user since Sat 12 Jul 2014

Name:Andreas Abel
Bio:

CV:

  • 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
Country:Sweden
Affiliation:Gothenburg University
Research interests:Programming Languages, Logic, Types

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile