Yazhou Tang
ADSWT518
Master's student @FICTION-ZJU, B.Eng. @SJTU-CSE, PL/FM beginner
Zhejiang University Hangzhou, China
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Shaurya Gomber
sgomber
CS PhD student at UIUC | Program Analysis & Automated Reasoning
University of Illinois, Urbana-Champaign Illinois, USA
Scott Wesley
ScottWe
PhD Student working on quantum computing, computational algebra, and formal methods.
Nova Scotia, Canada
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
Ameer Hamza
a-hamza-r
Graduate Computer Science student at FSU
Area of interest: Formal Methods, Program Analysis, Software Verification, Compilers
Luca Negrini
lucaneg
PhD in Computer Science | Assistant Professor | Static Analysis Specialist
Ca' Foscari University of Venice
Yuxuan Chen
yuxuanchen1997
I work on the Clang Compiler and libc++ at @facebook
Meta Platforms, Inc. @facebook California, United States
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
Vincenzo
VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma
University of Parma Parma
PreviousNext