IMG_0199

Check my socials


Unknown Unknown-1 images Unknown-2 Unknown-3 Unknown-4


ACM Distinguished Member since 2023
"for his contributions to the clarification of the roots of precision and imprecision in program analysis"

GiacoFest at ACM POPL2026!!! (and some pics)
January 17th, 2026, Rennes France