Professor of Computer Science, DAIS, Universita' Ca'Foscari Venezia, Italy
Associate Member, Laboratoire IRIF, Universite' de Paris, France
Email: salibra at unive.it
Scientific meeting in honor of Antonino Salibra. Paris, July 1-2, 2013.
- Speaker, 8th European Congress of Mathematics, 2021.
- Invited Professor, Laboratoire IRIF, Universite' Paris-Diderot, 2019.
- Invited Speaker, Non-commutative structures 2018: a workshop in honor of Jonathan Leech, 2018, 23-27 May, Portoroz, Slovenia.
- Invited Professor, Laboratoire IRIF, Universite' Paris-Diderot, 2018
- PhD course on ''Elliptic Curves, Number Theory and Cryptography'', University of Venice, 2018
- Speaker, AsubL take 6 (Workshop on Algebra and substructural Logics) 2018, Cagliari, 2018
- Invited talk, Institut de Mathematiques, Aix Marseille Universite', 2016
- Invited talk, Summer of Logic, Universita' di Cagliari, 2015
- Invited talk, at Monthly "CHoCoLa" meetings, ENS, Lyon 2015
- L'anima del Gattopardo, regia di Annarita Zambrano,
Taormina Film Fest 2014
- Program Committee 15th Italian Conference on Theoretical Computer Science,
Perugia, Italy, September 17-19th, 2014.
- 5 Talks at Computer Science Department, University of Leicester, January 26-31, 2014.
- Invited Speaker, Dagstuhl Seminar "Duality in Computer Science", Schloss Dagstuhl - Leibniz Center for Informatics, Germany, July 28-August 02, 2013.
- Invited talk at Monthly "CHoCoLa" meetings:
Curry-Howard: Logic and Computation, ENS de Lyon, February 14, 2013.
- Invited Professor, Fondation de Mathematique de Paris, 2012.
- Invited speaker at 37th International Symposium on
Mathematical Foundations of Computer Science (MFCS'12), August 27-31,
2012, Bratislava, Slovakia.
- Lessons on Computability Theory, Summer School AILA (Associazione Italiana di Logica e sue Applicazioni), August 2011.
- My research interests include lambda calculus, universal algebra, domain theory and topology
(with applications to computer science), linear logic, differential and resource lambda calculi.
- My best papers:
''Topological incompleteness and order incompleteness of the lambda calculus';
and ''Boolean algebras for lambda calculus''.
- Calcolabilita' e Linguaggi Formali
- Mathematical Logic
- Matematica Discreta
- Algebra Lineare
- Matematica di Base