Programming Languages and Verification Group at MIT CSAIL
Lattice 0
lattice0
rust, kernels, virtualization.
ad35661031be2c0d53deacee28d40a87f1d82f1c7698f58ae2bd61c60b8ad092
Charles Averill
CharlesAverill
UTD CS + Physics, struggling to understand Stephen Wolfram
@SoftwareLanguagesSecurityLab Dallas
Guangyu (Gary) HU
Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
The Hong Kong University of Science and Technology Hong Kong
Yi Fang
Sdywolf
I'm an undergraduate of Turing Class of Peking University majoring in computer science. I'm interested in programming language.
Peking University Beijing, China
Andrei Silviu Dragnea
andreisilviudragnea
🦀 Senior Rust Software Engineer • Contractor • Freelancer | Using Rust to build highly scalable web apps
Bucharest, Romania
CarolinaLiskey
carolinaliskey
Mathematical Statistician
Ph.D. student Biomedical Data Science & Informatics
Pradyumna Shome
PradyumnaShome
Researcher in Computer Security and Privacy at Georgia Tech | Usable PETs
Georgia Institute of Technology United States
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
Matthew Habtezgi
mhbtz1
CS & Math. Interested in PLT, ML, and computer systems eng.
MIT CSAIL Cambridge, MA
PreviousNext