Yan
TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.
\Device\HardDisk1
Samuel Chassot
samuelchassot
PhD student in Computer Science @ EPFL Switzerland
EPFL Lausanne, Switzerland
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Luisa Cicolini
luisacicolini
creativity & formal methods enthusiast, engineer, phd student
University of Cambridge, @opencompl Cambridge
Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
Abdullah Baharoon
Asbaharoon
I am Oracle e-business suite R12 ERP user and Junior Student in programming of Java language, also currently I have job purchasing coordinator
@openjdk and @graalvm Yemen
Michaël Le Barbier
foretspaisibles
Data & AI Thoughtworks | Sovereign Tech | Math PhD | Agrégé de Mathématiques | Max Planck Alumni | Common Lisp
@thoughtworks Köln (Germany)
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Waqar Ahmed
ahmedwaqar
I'm interested in formal reasoning about dependability properties of critical systems using HOL theorem proving.
Concordia University Canada