Highlights
- Pro
Xingyue Huang
HxyScotthuang
2nd year DPhil in Computer Science at University of Oxford
University of Oxford Oxford
Charles de Haro
Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages
École Normale Supérieure Paris, France
Bastien Faivre
bastienfaivre
Software Engineer at @informalsystems
Co-founder of @metacube-games
@informalsystems @metacube-games Lausanne