Department of Computer Science
Data & Intelligent Computing Lab
State University of New York, Korea
Zhoulai Fu is a tenured Associate Professor at the State University of New York (SUNY), Korea, and jointly serves as a Research Associate Professor at Stony Brook University, New York, United States. He is also affiliated with the Department of Electrical and Computer Engineering at Virginia Tech. His academic background spans France, Denmark, Spain, and the United States, with prior positions at Virginia Tech, IT University of Copenhagen, University of California, Davis, and INRIA, France.
Zhoulai Fu's research focuses on approaching software engineering problems through mathematical and programming language techniques. His work spans abstract interpretation, numerical error analysis, automated testing, formal verification, and machine learning. He has published extensively at top-tier Programming Language/Software Engineering conferences such as PLDI, POPL, OOPSLA, ICSE, and CAV. His research contributions include developing innovative analysis, testing, and verification tools that outperform the state-of-the-art. His work has led to significant solutions in system security, software robustness, and scalable analysis tools.