Personal information

No personal information available

Activities

Collapse all

Education and qualifications (2)

University of Illinois Urbana-Champaign: Urbana, US

2021-08 to 2023-05 | Master of Science (Computer Science)
Education
Source: Self-asserted source
Haoqing Zhu

University of Illinois Urbana-Champaign: Urbana, US

2017-08 to 2021-05 | Bachelor of Science (Electrical and Computer Engineering)
Education
Source: Self-asserted source
Haoqing Zhu

Works (2)

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse

2023 | Book chapter
DOI: 10.1007/978-3-031-45329-8_5
Contributors: Haoqing Zhu; Yangge Li; Keyi Shen; Sayan Mitra
Source: check_circle
Crossref

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios

2023 | Book chapter
DOI: 10.1007/978-3-031-37706-8_18
Contributors: Yangge Li; Haoqing Zhu; Katherine Braught; Keyi Shen; Sayan Mitra
Source: check_circle
Crossref
How many people are using ORCID?