HTTP/2 200
content-type: text/html; charset=utf-8
x-frame-options: DENY
vary: Sec-Fetch-Dest, Sec-Fetch-Mode, Sec-Fetch-Site
cache-control: no-cache, no-store, max-age=0, must-revalidate
pragma: no-cache
expires: Mon, 01 Jan 1990 00:00:00 GMT
date: Sun, 18 Jan 2026 17:20:41 GMT
p3p: CP="This is not a P3P policy! See g.co/p3phelp for more info."
cross-origin-opener-policy: unsafe-none
content-security-policy: base-uri 'self';object-src 'none';report-uri /_/view/cspreport;script-src 'report-sample' 'nonce-x2INlUmSernpjsJFuBWLqQ' 'unsafe-inline' 'unsafe-eval';worker-src 'self';frame-ancestors https://google-admin.corp.google.com/
reporting-endpoints: default="/web-reports?jobset=prod&wcrumsspbp=false&bl=editors.sites-viewer-frontend_20260112.02_p3&app=25&clss=1&context=eJwNz2tUkwUAxvHX7X0fCkHkMh0kMN-ZDRWblEnCgjXZSItM0y3tKAlT8QIGCKilcAwzy45WlmklISYJmBcqSruJlZdM7WbUUlOcwAbbYMhQk54Pv3P-5_n2BAeG7LrLKjQMtgrTo6zC0xS-xSqMpDvbrcKQd62CWG0VoshwyCpYL1mFRdTstgq_0rxom5BP_libIMbZhJWjbEIl5WTYhCIqpZdp8tgLwh3CuAtCHKVd6VZYSF_eq0gmT0Wvoo9WLe1TVNDJ1IDiPB01BBTH6YY9oLhDezcFFJ_QglP9iiWULwwoSigwYkAhxA4o_GUDitv0wEylMoXSKpRKC824plTOoTLPZLGcFNtTxWD6oj5V_I4ykw3idNo_wih-Rr6pRrGf_l7zqHiVCmASS2nbCpP4PuWUmMSlpDhgEoPp4c9MopH6xmaIA5S8JENMp3ufzxAT6SVnhvga2SaaxWw6-alZbKG3XreINVRLTXS9zyJ6aPvSTLGKrkY8JrrIETRVbKXSmbukdfTn57uky3S-p0pqIc2T1ZKOnnPslvLoRc9uqZKOLK6RmmnfshrpEJ26WiP9QuqDeyQNncn6SPqdQiv3SiqKjq-VRpLumVpJTzM69klzaA2tp4-z6qSD9G9undROX9XWSd9TYc5-aTV1LN8vddOOhg6pmk6ccEnnyJbmlrJp7jG3lEO_2zqlfyhsZ6c0nJTXQjCYDoSFoolGN4ViPF04PgSXqCQpDGvpiV1hmEXOPUPRRXVt4ThMizvCsYKC9BEIo0FyJO6mw5MicYTSkyORSUn_RGEylUSosJZUWSrE0hurVdhB1zeo4KF11cPwMt3nGIb7KXjZcETQzfzhCC4Yjlc0amylRRPVaLer4aPGBjWOUuCkGsIpNV74MBov0W_V0XBQ6aYYrKObnhgovDF4vy8Ge6h1yz1w0zbjCOyguVNHIJsu1cXhxF9xOEPtjjh0kc4TBz3N8sVhDh2dG48vFsbja-pojEc3TQvSYCYdnqThdw1ceRp0NWlwg9bsHon1NMUzEo_TsvtlFNNDFhkppFopI5ZuVcpQbpBxZKOMZlpaJaOIvjoj4xiF_CwjnProNpnPyphGtdRA4edkDKPNd2Rso-oJWuyj_1K1kAxaHEjToonceVr4ybtKi16a85sWC8jfOAq3aap1NGbQVdtouKgeOjRSd6gONyksXIcoksfpMIZ-rNbhLP3h1OEiNYUl4FtqDU-Am1oiE_Av3YpKgFKVgF-EFJyuS8GvlHswBXlUl5WKwzQgGBA0yICUwQZMoxVvG1BGc9WPIIccbzyCVgq-Nw0R5BiXjlb61pSOc6Q9no6xtNxkxEpq2W5E-zkjfFTRYcQrtD7ahFdpq9mEd8m3zIR-Cmo1IYQmuU1II49yCgZINX0KYin0WTZd7JoCJ0XmmKGmReVmFJC2xoyx9MFeMz6ih0-YYaTOYgt6Sa63YAx1N1hwk8ovW7CR3hyfiZ3UfCkTp-nipitw0vy2K8iliKdaEUM_0lkK7m9FBL2T6MR7VFjuxGrSHHNCRz-lXcd5suW3IZuW17RhJelD2pFMlZfbsZlW3WhHBZ13d6CF7LNdOFTmwpd0fbMLJcfcWEs58Z1YTG_bO_EBdaZ2oZdGfd4FbPSg_oAHjfS8wQt5nhdjqLjAi_r1Xlx7zYsZW7x4x-GF-7IX-gd9iHnah3jKXujDYurZ5sMtaqvyYcOnPuykvx_vxk9LuhG5vxtqmhXVA-f8HmQt6ME36X7MXu2HY40fTzX7UUYZLj8yKeFkLxKpf_kNfDivDxMX9eGHkADuiQ0gXQ4gIuSu9vrG0xhaVX_bNShGnJ1nL5XH2XPzigsKi8YX5RXbixJLuNkLExcWFuQX2_Nz5yfpkx7ST5iQNF6fNH_FA_8DmejVTA&build-label=editors.sites-viewer-frontend_20260112.02_p3&imp-sid=CKXW7NnMlZIDFZK0IwAdhbMRxQ&is-cached-offline=false"
document-policy: include-js-call-stacks-in-crash-reports
referrer-policy: strict-origin-when-cross-origin
content-encoding: gzip
server: ESF
x-xss-protection: 0
x-content-type-options: nosniff
set-cookie: NID=528=egq-yHbYkiNeohKXNS5c12muHdzMqtPIv8sNY4VJ3GgceCp3BSkpPxenYjrHJu_yTA5RwJLHOBkx9_k5ReYnU92UJT1FbpCHE30nmMuYvYhF9ms1Tr91N6WjoX3ZLWqtWhD2-CAshwfGtVAtWTqdsVNrr2ZkZKD25FT-52Gd_9gVZLA0ufLv2y-e5TZ0IPmiZOLDVKMZbrxGTVEO; expires=Mon, 20-Jul-2026 17:20:41 GMT; path=/; domain=.google.com; Secure; HttpOnly; SameSite=none
alt-svc: h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
Qiyi Tang's Homepage
Lecturer (Assistant Professor) , University of Liverpool
Email: Qiyi.Tang@liverpool.ac.uk
Qiyi is a lecturer in the School of Computer Science and Informat ics (CS&I) at the University of Liverpool.
Prior to that, she worked as a postdoctoral researcher in different places. She was a research associate at the University of Liverpool, supervised by Prof. Xiaowei Huang and Prof. Sven Schewe . She was working on algorithmic comparison of probabilistic systems, with Prof. Stefan Kiefer at the University of Oxford and the compiler bug impact project at Imperial College London. Qiyi wa s also a lecturer at Balliol College, the University of Oxford for the 20 20-2021 academic year .
Her research interests include software verification, probabilistic models and automata theory.
She received her Ph.D. in 2018 from York University , Toronto under the supervision of Prof. Franck van Breugel . She received the Governor General's Academic Gold Medal , Canada's most prestigious academic award for students. She has obtained her Master's degree in Computer Science at Oxford University with Distinction in 2013.
