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
Stars
Simulator of QUantum Network Communication (SeQUeNCe) is an open-source tool that allows the modeling of quantum networks including photonic network components, control protocols, and applications.
Kimi K2 is the large language model series developed by Moonshot AI team
A LLM based research assistant that allows you to have a conversation with a research paper