Assistant Professor @ UMD CS | Quantum Computing, Formal Verification, PL & OS
-
University of Maryland
- College Park, MD, USA
- runzhoutao.github.io
- https://orcid.org/0000-0002-3733-5168
- @runzhou_tao
Highlights
- Pro
Jia-Bin Huang
jbhuang0604
Associate Professor at University of Maryland College Park
University of Maryland College Park College Park, MD
Zeying Zhu
zzylol
CS Ph.D. Candidate at University of Maryland, College Park
University of Maryland, College Park
Yonghao Zhuang
ZYHowell
CMU CSD PhD student |
distributed sys/MLsys |
previous RA@ucbrise, undergrad@SJTU-ACM-Class-2018
Carnegie Mellon University Pittsburgh, PA
Max Levatich
mlevatich
Static analysis, programming languages, and game development. Computer Science PhD student, Columbia University.
Columbia University New York
Danyang Zhuo
danyangz
Assistant Professor of Computer Science at Duke University
Duke University Durham, NC