z combinator
hsqStephenZhang
What i cannot create, i do not understand
Hua Zhong University of Science and Technology Wu Han
Jack Davine
davine47
a CA student. Work on Java Spring framework, RISCV isa, UVM, CPU uA design, computer vision, linux kernel, system software...
Droplet lab
Jad Ghalayini
imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of Cambridge Cambridge, United Kingdom
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
Zihao Li
zihaoli-cn
Institute of Computing Technology, Chinese Academy of Sciences.
interested in Compiler
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
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
tom zhou
sequoiar
Meet AI & Robot Technology
@InstantWebP2P @AIWorkspace @Co-Simulation @5GApp SHANGHAI, CHINA
peyton Caseria
PeytonsProfile
HTML5, CSS3, Javascript, Jquery Front End Web Design Specialist
Treehouse Inc. SLC, UT