معرفی
Davide Barbarossa is a Researcher in the Department of Computer Science at the University of Bath. His research focuses on Mathematical Logic and Theoretical Computer Science, with specializations in lambda-calculus, Linear Logic, program semantics, category theory, type theory, and proof theory. He holds a PhD in Computer Science and Mathematics from Université Sorbonne Paris Nord (2021), a Master of Mathematics in Logica Matematica ed Informatica Teorica from Università Roma Tre (2019), and a Master of Mathematics in Mathématiques Discrètes et Fondement de l'Informatique from Aix-Marseille University (2018). His work bridges foundational aspects of programming languages with advanced mathematical frameworks.
His recent publications explore topics such as tropical mathematics integration with lambda-calculus, resource approximation in computational models, and differential analysis of effectful programs. Collaborations span institutions across Europe, reflecting his international academic network. Despite no explicitly listed awards, his prolific publication record and academic qualifications highlight significant contributions to theoretical computer science.
Barbarossa’s advising and grant activities are not detailed in the provided text, though his doctoral thesis and peer-reviewed articles suggest active involvement in academic research programs. His work contributes to foundational advancements in programming language theory and mathematical logic.
