Sermet Pekin
SermetPekin
Senior Specialist | Economics & Finance | Data Science & AI | C++ · Python · R | Open Source Creator | Internal Trainer
Jad Ghalayini
imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of Cambridge Cambridge, United Kingdom
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Hazdard
Casual OCaml and Python enjoyer. Usually doing maths, cryptography and pentest. Interested in AI.
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
Xiyu Zhai
xiyuzhai
A visored working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies.
UW Seattle, WA
Simon Hauguel
SimonHauguel
Embedded pentester
Cats are amazing
Capgemini Engineering Toulouse, France