Ziyang Li
Liby99
No Code No Life | Assistant Professor in CS at Johns Hopkins University
Johns Hopkins University Baltimore, MD
Konstantinos Kallas
angelhof
Assistant Professor of CS at UCLA
UCLA Computer Science Los Angeles, CA - Athens, GR
Caleb Stanford
cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.
Davis, California, USA
Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.
Portland State University Portland, OR
Abel Nieto
abeln
Compiler Engineer @ Groq
| PhD in formal verification
Aarhus University Waterloo, Canada
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Daniel A.A. Pelsmaeker
Virtlink
I have a passion for programming, electronics, and domotica. My favorite languages are Kotlin, Rust, and C#.
TU Delft Delft, The Netherlands
Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.
@Aliyun Shanghai Xuhui