Antonio Emanuele Cinà
Cinofix
He is an Assistant Professor at the University of Genoa, Italy. (MSc 2019, PhD 2023)
University of Genoa
Mattia
merendamattia
Computer Science & Blockchain's Master Student at @ Università degli Studi di Parma (Unipr.it)
University of Parma, IT Italy
Giacomo Boldini
giacomoboldini
PhD student in Computer Science @ Ca' Foscari University of Venice
Italy
LiSA Analyzer
lisa-analyzer
Organization managing and maintaining the 📚LiSA static analyzer project and its frontends
Abstract Machine Learning
abstract-machine-learning
Abstract Interpretation methods applied to Machine Learning
Alvise Spanò
alvisespano
Born 1977, demoscene coder on the Amiga since 1991.
Experienced dev converted to Research on languages and type systems.
Now Professor at Ca' Foscari.
Università Ca' Foscari di Venezia Treviso, Italy
Francesco Parolini
phreppo
Static analysis & compiler engineer. Passionate about programming languages.
Certora London, UK
Denis Mazzucato
denismazzucato
PhD graduate in Formal Methods
Carnegie Mellow University Pittsburgh, PA (USA)
Fausto Spoto
spoto
University professor of computer science, passionate of software development
Università di Verona Verona, Italy
SSV @ Ca' Foscari
UniVE-SSV
Software and System Verification group @ Ca' Foscari University of Venice, Italy
Pietro Ferrara
pietroferrara
Associate professor in Computer Science. Expert in static analysis and its application to industrial software.
Ca' Foscari University of Venice Venice, Italy
Vincenzo
VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma
University of Parma Parma