Hyeongseok Kim
briankim113
Fair ML Research | CS Ph.D. Student at USC | NYUAD '22
Los Angeles, CA, USA
Yusen Su
LinerSu
PhD@UWaterloo;
Formal Methods,
Abstract Interpretation & Model Checking
University of Waterloo Canada
Charles de Haro
Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages
École Normale Supérieure Paris, France
zcysky
zcysky
God speaks through Aerodynamics, and we speak through Programming Languages.
University of Southern California & Amazon Web Services Los Angeles
Daniel Dunbar
ddunbar
I work on build systems and the Swift Package Manager at Apple. I love testing infrastructure. Previously of Clang, @klee, and Blender3D.
@apple Oakland, CA
Guannan Wei
Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University
Daoyuan Wu
daoyuan14
School of Data Science Lingnan University, Hong Kong
Xingyu Xie
namasikanam
Dream to find rigorousness and meaning in the messy world. Learning how to maintain relationships.
Max Planck Institute for Security & Privacy Bochum, Germany
Yibo Yan
totoroyyb
USC PhD @USC-NSL { Distributed System - Cloud Computing } | Yale MSCS | UC Davis Alum.
Los Angeles