Programming Languages and Verification Group at MIT CSAIL
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
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
PhD student at Georgia Institute of Technology frustrated by hardware security and microarchitectural side-channel attacks.
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
Alexandros Kourtis
alexkourtis98
Hello,
I'm passionate about Software Development.
Let's use tech to make the world better :)
Pangrati, Athens, Greece
Lazy Wind Lazy Hurry
WLFJ
Currently working on MLIR and Advanced Software Engineering.
Beihang University China
PreviousNext