I am Yifei Liu, a Software Engineer at Google Cloud in the Greater Seattle area, working on building efficient, reliable, and scalable cloud infrastructure for AI/ML and beyond.
I earned my Ph.D. in Computer Science from Stony Brook University . As part of the File Systems and Storage Lab (FSL) , advised by Prof. Erez Zadok and collaborating with Prof. Geoff Kuenning and Prof. Scott A. Smolka , I worked on advancing file and storage systems, focusing on model checking and automated testing of kernel file systems.
My work produced tools and frameworks that enhance the correctness, reliability, and functionality of modern storage systems. My Ph.D. dissertation titled “Advancing File System Model Checking: Coverage, Framework, and Scalability” is available here .
Ph.D. in Computer Science, 2019 - 2025
Stony Brook University
M.Eng. in Computer System Architecture, 2016 - 2019
Huazhong University of Science and Technology
B.Eng. in Computer Science and Technology, 2012 - 2016
Huazhong Agricultural University
To know how to criticize is good, to know how to create is better. – Henri Poincaré