🐫
Static analysis & compiler engineer. Passionate about programming languages.
-
Certora
- London, UK
- phreppo.github.io
- in/francesco-parolini
Federico Tomassetti
ftomassetti
Language Architect and Founder of Strumenta. We are specialized in language engineering: DSLs, design languages, parsers, editors, interpreters
Strumenta Turin, Italy
Michael Schwarz
michael-schwarz
PhD Candidate in Static Analysis at TUM
Technical University of Munich @tum-cit-pl Munich
Charles de Haro
Chaarlesss
PhD Student in Static Analysis and Abstract Interpretation
École Normale Supérieure Paris, France
Naïm MOUSSAOUI REMIL
naim-mr
Phd Student at École Normale Supérieure of Paris.
Working on static analysis by abstract interpretation
École Normale Supérieure Paris
Sarek Høverstad Skotåm
sarsko
Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.
Amazon Web Services Seattle
Yann Herklotz
ymherklotz
Postdoc at EPFL in the Verification and Computer Architecture lab.
EPFL Lausanne
Luca Negrini
lucaneg
PhD in Computer Science | Assistant Professor | Static Analysis Specialist
Ca' Foscari University of Venice
Vincenzo
VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma
University of Parma Parma
Matteo Rizzo
matteo-rizzo
Ph.D. in CS @ Ca' Foscari, Venice
~ Working on XAI and bringing AI into production :)
Ca' Foscari Venezia
Giovanni Sorice
GiovanniSorice
MSc student in Artificial Intelligence @ University of Pisa
Nubank Berlin
Davide
dbarasti
Hey there, Italian SW engineer based in Padua.
I wanna know things I don't already know. I co-host a show on Twitch, link below!
University of Pisa Padova, IT
Francesco Corti
FraCorti
PhD Student at Graz University of Technology @TUGraz
Graz University of Technology Graz, Austria