Personal information

No personal information available

Activities

Collapse all

Employment (1)

ETH Zürich: Zurich, CH

2024-01 to present (Department of Computer Science)
Employment
Source: Self-asserted source
Anqi Li

Works (1)

Hypra: A Deductive Program Verifier for Hyper Hoare Logic

Proceedings of the ACM on Programming Languages
2024-10-08 | Journal article
DOI: 10.1145/3689756
Contributors: Thibault Dardinier; Anqi Li; Peter Müller
Source: check_circle
Crossref
How many people are using ORCID?