Viper Project
Aristotelis
Aristotelis2002
Studies Computer Science in Sofia University St. Kliment Ohridski
Hamza Remmal
hamzaremmal
EPFL - @scala - @lampepfl Lausanne, Switzerland
Caleb Stanford
cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.
Davis, California, USA
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@aruba The edge of knowing
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer
Previously Apple Pay Security
Lafayette, Indiana
Colin Pfingstl
koflin
23 year old Computer Science graduate student at ETH Zürich
@cbdev-ch Switzerland
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
ENS Rennes, Saarland University, CISPA Saarbrücken
J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
Larry Z.
FlickerSoul
Passionate about PL theory, building applications, and computer games. Trying to tell a good story :)
UCL 24' US | UK
Mahiru Kagura
cycloidzzz
I love operating system, compiler, programming language design, database & distributed systems.
Jiang Zhu
huskyii
Compiler@Synopsys; Formal Verification@NexTop/@ArcasTech; Silicon Design Engineer @amd.
All programs are compiler.
@AMD Shanghai
PreviousNext