معرفی
Alex Gryzlov is a researcher at IMDEA Software Institute in Madrid, focusing on logic, programming languages, and systems. His work centers around formal methods, type theory, and abstract machine implementations. Key contributions include formalizations of sequent calculi, lambda calculus variants, and verified abstract machines in proof assistants like Idris and Coq. He maintains active repositories exploring foundational topics such as Software Foundations in Idris, Total Parser Combinators, and Functional Data Structures in SSReflect. His research spans delimited continuations, call-by-need evaluation, and operational semantics.
۰مقاله ثبتشده
