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

Personal website: http://www.cse.chalmers.se/~abela/

Research interests: Programming Languages, Logic, Types

Contributions

ICFP 2020Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences

Using general profile