Tom Gouville
aeyno
PhD student in Pesto team, Inria, France
I like security, cryptography, software architecture, low level programming and free software
France
Charles Averill
CharlesAverill
UTD CS PhD, losing my mind grading
@SoftwareLanguagesSecurityLab Dallas
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Alperen Keleş
alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.
University of Maryland, College Park Maryland, 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
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
Thibaut Pérami
tperami
CS PhD student at the University of Cambridge
University of Cambridge Cambridge
Hongce Zhang
zhanghongce
Princeton ECE Alumnus,
Assistant Professor @ HKUST(GZ)
Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China
Bo-Yuan Huang
Bo-Yuan-Huang
Security Research Scientist, formal verification and scalable assurance
Intel Corp.