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