Victor Arrial

Victor Arrial is a researcher affiliated with Université Paris Cité, CNRS, and IRIF (Institut de Recherche en Informatique Fondamentale). His work focuses on theoretical computer science and programming languages, particularly in the domain of lambda calculi and formal logic.

His research explores quantitative inhabitation problems across different lambda calculi frameworks, contributing to foundational advancements in type theory and formal verification. At POPL 2023, he presented his work on unifying approaches to analyze computational systems.

His publications indicate expertise in formal methods, computational logic, and theoretical programming models, with a focus on rigorous mathematical foundations in computer science.