معرفی
Andreas Martin Abel is a Senior Lecturer at the University of Gothenburg, affiliated with the Logic and Types department. His research focuses on type theory, dependent types, programming languages, and formal verification. He has contributed significantly to foundational work in type systems, including advancements in cubical Agda, modal logics in type theory, and normalization-by-evaluation techniques. His work often intersects with functional programming and homotopy type theory.
Key research areas include formalizing type systems, exploring proof-theoretic properties of logics, and developing mechanized proof systems. He has published extensively in venues like the Journal of Functional Programming and ACM SIGPLAN Notices, collaborating with notable researchers such as Thierry Coquand and Andrea Vezzosi.
His recent work includes studies on graded modal dependent type theories, decidability of type conversions, and the integration of univalence principles in Agda. He maintains an active role in advancing type-theoretic foundations for programming languages and formal verification.
