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
Lee Rannals - Quidient
lrannals
Quidient is creating 5D Generalized Scene Reconstructions based our Quidient Reality® engine.
Quidient
Lanren
Lanrenw
量化猎头Leon,WeChat:13122337353
热招岗位🥳
- PM/策略研究员(股票/期货/期权)
- C++/Python/AI Infra开发工程师
行业:金融量化/Crypto
base:北上深杭港✈️
Nho Luong
nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Elise Liang
eliseliangz
Quant Recruiting for tradefi and defi
AI Lab researcher hiring
WeChat: eliselll
Hong Kong
Hob Den
Hoblovski
Compilers. OS kerns. Formal verif. Prog analyses. LLM apps.
Knows quite a bit about C.
Tsinghua Univ.
Zeying Zhu
zzylol
CS Ph.D. Candidate at University of Maryland, College Park
University of Maryland, College Park
Shaobo (Steven) Wang
gszfwsb
Intern @QwenLM, Ph.D Candidate @EPIC-Lab-sjtu. Previous Master Student @Thinklab-SJTU. Feel free to contact me or teach me.
Shanghai Jiao Tong University Shanghai, China
Tianle Cai
ctlllll
ML PhD @princeton. Life-long learner, hacker, and builder. Tech consultant & angel investor.
Take a look at my recent research @FasterDecoding !
@Princeton Earth
PreviousNext