معرفی
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.
۰مقاله منتشرشده
Andreas Abel در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- AAndreas AbelChalmers University of Technology · مدرس ارشد
Andreas AbelMax Planck Institute for Software Systems · مدرس ارشد- AAndreas Martin AbelUniversity of Gothenburg · مدرس ارشد
- AAna BoveChalmers University of Technology · دانشیار
- TThierry CoquandUniversity of Gothenburg · استاد
Anders MörtbergInria · دانشیار