🐫
Static analysis & compiler engineer. Passionate about programming languages.
-
Certora
- London, UK
- phreppo.github.io
- in/francesco-parolini
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
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
Fabio Giachelle
giachell
Postdoctoral researcher @ University of Padua.
Topics of interest:
Visual Analytics • Information Retrieval • NLP
University of Padua
riccardo bernardi
riccardobernardi
Master's Degree Student in Computer Science on A.I. Interested in Machine Learning and Deep Learning. Engineer. DataScientist. Research Fellow in ML
Ca' Foscari University, IT dept. italy
Giovanni Sorice
GiovanniSorice
MSc student in Artificial Intelligence @ University of Pisa
Nubank Berlin
ValentinGrigoras
Full Stack Developer
What i use:
Java SE, Java EE, Spring, Oracle, Angular
Cittadella
Francesco Corti
FraCorti
PhD Student at Graz University of Technology @TUGraz
Graz University of Technology Graz, Austria