Biography
I am Yifei Liu, a final-year Ph.D. candidate in Computer Science at Stony Brook University . I am part of the File systems and Storage Lab (FSL) , advised by Prof. Erez Zadok . I also collaborate closely with Prof. Geoff Kuenning and Prof. Scott A. Smolka . I am broadly interested in file/storage systems and operating systems. My recent work seeks to test kernel file systems more readily and thoroughly by model checking and other related techniques.
Before Stony Brook, I was a Master’s student and research assistant at the Wuhan National Laboratory for Optoelectronics , advised by Prof. Ke Zhou , at Huazhong University of Science and Technology . There, I focused on the integration of content-based semantic queries in storage systems.
Interests
- File/Storage Systems
- Operating Systems
- Model Checking, Testing, and Verification
Education
-
Ph.D. in Computer Science, 2019 - Current
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