Dorian Lesbre
dlesbre
Ph.D. student in computer science, working on program verification and formal methods
CEA List Paris, France
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Mike DuPont
jmikedupont2
Senior Full stack developer focused on p2p ml ai devops
@meta-introspector New Jersey
Dario Pinto
RadioPotin
Graduated from 42Paris. Software & Systems Engineer at OCamlPro.
OCamlPro Paris
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving