معرفی
Dr. Giulio Guerrieri is a lecturer (= associate professor) in computer science at the University of Sussex, UK, and a Maître de Conférences (= associate professor) at Aix-Marseille University, France (currently in voluntary layoff status). His research spans logic, proof-theory, lambda-calculus, type theory, linear logic, abstract machines, and denotational semantics.
- Education: PhD in Computer Science and Philosophy from Università Roma Tre (Italy) and Université Paris Diderot-Paris 7 (France), supervised by Lorenzo Tortora de Falco and Thomas Ehrhard.
- Current Roles: Lecturer at University of Sussex; Maître de Conférences at Aix-Marseille University.
- Past Roles: Senior researcher at Huawei Edinburgh Research Centre; postdoctoral fellow at University of Bath, Università di Bologna, University of Oxford, and others.
His research focuses on theoretical computer science, particularly computational calculi and their logical foundations. Recent publications include work on lambda-calculus normalization, quantitative inhabitation, and proof-net confluence.
He has taught courses at multiple universities, including Functional Programming (University of Bath), Logic for Computer Science (Università di Bologna), and Programming for Mathematics (Università di Bologna). He has served on program committees for workshops like CSL, FSCD, and FoSSaCS.
His lab affiliations include the Laboratoire d'Informatique et Systèmes (LIS) at Aix-Marseille University and the Programming Language team at Huawei Edinburgh Research Centre.
