PhD student, working on @creusot-rs ;
Rust enthusiast
Henry Blanchette
rybla
programming languages, formal verification, functional programming, game theory.
CS PhD student at UMD Washington, DC
Khalil Charfi
khalilcharfi
I’ve had a passion for coding since I was a child, and that love for it continues to grow every day.
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