I am a first-year doctoral student with Prof. Timothy Roscoe in the Systems Group at ETH Zürich.
I am generally interested in computer systems, including operating systems, architecture, compilers, and software engineering. My other areas of interest include VR/AR, all kinds of programming, design and photography.
Doctor of Science (PhD) in Computer Science
ETH Zürich, Switzerland
November 2023–present
Supervisor: Prof. Timothy Roscoe
Master of Science (MSc) in Computer Science
ETH Zürich, Switzerland
September 2021–September 2023
Thesis: Generating Trustworthy
I2C Stacks Across Software and Hardware
Bachelor of Science (BSc) in Computer Engineering
University of
Illinois at Urbana-Champaign, United States
September 2017–June 2021, Highest Honors
Supervisor: Prof. Steven Lumetta
Thesis: Using Concolic Execution to
Provide Automatic Feedback on LC-3
Bachelor of Engineering (BEng) in Electronics and Computer Engineering
Zhejiang University, China
September 2017–June 2021, Outstanding Graduate
*Equal contributors
Efeu: generating efficient, verified, hybrid hardware/software drivers for I2C devices
Daniel Schwyn*, Zikai Liu*, Timothy Roscoe
EuroSys'25: 20th European Conference on Computer Systems, March–April 2025 (to appear)
[PDF]
Verified fault handling for modern board management controllers
Ben Fiedler, Zikai Liu, David Cock, Timothy Roscoe
FACS'24: 20th Formal Aspects of Component Software, September 2024
[PDF]
End-to-End Automation of Feedback on Student Assembly Programs
Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven S. Lumetta
ASE'21: 36th ACM/IEEE International Conference on Automated Software Engineering, November 2021
[PDF]
[DOI]
[UIUC]
Presenters are underlined
Generating Trustworthy Hardware/Software I2C Drivers for Board Management Controllers
Daniel Schwyn, Zikai Liu, Timothy Roscoe
seL4 Summit 2024, October 2024 (to appear)
seL4 as a CPU Driver in an OS for Real Computers
Roman Meier, Zikai Liu, Ben Fiedler, Timothy Roscoe
seL4 Summit 2024, October 2024 (to appear)
Caching Results from KLEE’s Independent Solver
Zikai Liu, Steven S. Lumetta
2nd KLEE Workshop, June 2021
[Video]
[Slides]
Timely Feedback on Assembly Assignments Using KLEE
Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven Lumetta
2nd KLEE Workshop, June 2021
[Video]
[Slides]
More in my [Project Portfolio]
ZJU-UIUC Robotics Team
Control Group Lead & Project Manager, CV Group Lead
2018–2021
ZJU-UIUC Joint Institute
Teaching Assistant
Fall 2020
NetEase Games
Platform Engineer Intern
June 2020–August 2020