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 . I conducted my research at the File Systems and Storage Lab (FSL) , under the guidance of Prof. Erez Zadok and in collaboration with Prof. Geoff Kuenning , Prof. Scott A. Smolka , and many others. I focused on enhancing storage reliability and correctness through 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é