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

PEPM 2020Committee Member in Program Committee within the PEPM 2020-track
ICFP 2020Committee Member in Program Committee within the Research Papers-track
POPL 2019Session Chair of Dependent Types (part of Research Papers)
Author of [T5] Correct-by-Construction Programming in Agda within the TutorialFest-track
Committee Member in Program Committee within the Research Papers-track
ICFP 2019Author of Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types within the Research Papers-track
ICFP 2018Author of Elaborating Dependent (Co)pattern Matching within the Research Papers-track
ICFP 2017Author of Normalization by Evaluation for Sized Dependent Types within the Research Papers-track
POPL 2018Author of Decidability of Conversion for Type Theory in Type Theory within the Research Papers-track
Author of Decidability of Conversion for Type Theory in Type Theory within the Artifact Evaluation-track
TTT 2017Committee Member in Program Committee within the TTT-track
PEPM 2015Committee Member in Program Committee within the PEPM 2015-track