Andrew Hirsch
akhirsch
Assistant Professor of Computer Science and Engineering at University at Buffalo, SUNY. I focus on programming-language techniques for concurrency and security.
University at Buffalo, SUNY Buffalo, NY
Paul Hitchcox
eobardthawne21p
I am senior computer science student at UTRGV. I have done research at CMU's REUSE program under Bryan Parno doing rust verification
psilospore
psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Acima Burlington, Vermont
Xingyu Xie
namasikanam
Dream to find rigorousness and meaning in the messy world. Interested in applied formal methods, especially for cryptography.
Max Planck Institute for Security & Privacy Bochum, Germany
Jay Bosamiya
jaybosamiya
π¦ Software security researcher. PhD from CMU. BTech (CSE) from IIT Roorkee. Open source dev. CTFer (PPP).
Work account: @jaybosamiya-ms
Daniel Tompkins
l00sed
Interdisciplinary designer, maker, systems/SWE @cmu-sei, adjunct @ CMU School of Architecture and a citizen of the open Web!
@cmu-sei Pittsburgh, PA
Haobin Ni
FTRobbin
TankEngineer on Codeforces.
Ph.D. Student at Cornell.
Is working on blockchain and programing language.
γγγ§γΏγγͺγγγγΌγγγγ γ
Cornell, Ithaca, NY
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn