About
Andreas Abel is a Senior Lecturer at the Department of Computer Science, Gothenburg University, with a focus on Programming Languages, Logic, and Type Theory. His work includes contributions to dependently typed programming, functional programming, lambda calculus, and formal verification.
- Research Interests
- Programming Languages
- Logic
- Types
- Projects
- Principal Investigator for Modal Dependent Type Theory (Vetenskapsrådet grant 2020-2024)
- Editor of the Theoretical Pearls column in the Journal of Functional Programming
- Senior developer of the dependently-typed language Agda
His recent publications span graded type theory, normalization by evaluation, strong normalization, and formal verification using Agda. Key collaborations include Jean-Philippe Bernardy and Thierry Coquand.
- Scientific Awards
- Vetenskapsrådet grant 2020-2024
- VR Grant 2014-04864
He has supervised numerous projects, developed software tools like the Backus Naur Form Compiler (BNFC), and contributed to international conferences as a PC member and author.
0Publications listed
Find Andreas Abel elsewhere
Related Searches
You Might Also Like
- AAndreas AbelChalmers University of Technology · Senior Lecturer
Andreas AbelMax Planck Institute for Software Systems · Senior Lecturer- AAndreas Martin AbelUniversity of Gothenburg · Senior Lecturer
- AAna BoveChalmers University of Technology · Associate Professor
- TThierry CoquandUniversity of Gothenburg · Professor
Anders MörtbergInria · Associate Professor