Assistant professor at UC Davis in programming languages, formal methods, systems.
- Davis, California, USA
- web.cs.ucdavis.edu/~cdstanford
- @calebstanford4
Highlights
- Pro
Yage Hu
yagehu
Software engineer specializing in backend and infra. I enjoy coding in Rust. I'm also interested in WebAssembly.
Phillip Ressler
resslerruntime1983
Hi there. I am a continuing computer science student who would like to learn how to code in multiple languages.
Ressler Runtime Palmdale, California USA
Bokai Zhang
Eric-Bokai-Zhang
CSE PhD Student @ PSU, MS('24) @ UCSD, BS('22) @ University of Rochester
PSU University Park, PA
Benjamin Bisping
benkeks
Computer scientist in the field of analysis and theory of distributed systems. (And sometimes game dev.)
Institut Polytechnique de Paris Palaiseau
Jake Roggenbuck
JakeRoggenbuck
Software Engineer & Student || I love writing CLI tools, langdev, backend systems, and launching products || Rust, Go, TypeScript, Python, C/C++
Yifeng He
EYH0602
PhD student @ UC Davis | B.S. in CS & Applied Math @ UC Davis
@SecurityLab-UCD Davis, CA
Kishor
keyshor
PhD student in Computer and Information Science at the University of Pennsylvania.
Phildelphia, USA
Zustin
A Program Testing and Analysis Fans! I am ready to use any technique to improve software system reliability and performance
Expect to Norway
Guannan Wei
Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University
Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.
@PingCAP Shanghai Hongkou
David Deng
PROgram52bc
Ph.D. Candidate in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.
Purdue University West Lafayette, IN