Zhoulai Fu is an assistant professor at the State University of New York (SUNY), Korea, and a research assistant professor at Stony Brook University, United States. Zhoulai Fu's primary research interest lies in approaching software engineering problems from a mathematical or programming language perspective. He has published broadly at top-tier PL/SE venues and developed analysis, testing, and verification tools that outperform the state-of-the-art significantly.
Previously, Zhoulai Fu worked at the IT University of Copenhagen, Denmark, as an assistant professor for the Software Research Quality Lab. He was PI for a Danish InfinIT project on verifying digital systems via property-based and fuzz testing techniques. He contributed to a European H2020 project for building reliable robot software and filed a patent. During his postdoc at the University of California Davis, United States, Zhoulai Fu was co-PI for an NSF (National Science Foundation)-funded project; he also served twice as an NSF Panelist. Earlier, Zhoulai Fu graduated from École Polytechnique and Télécom Paris, France, as an ingénieur (French engineer, BSc. and MSc. degrees), following which he did a Ph.D. at INRIA, France on abstract interpretation and static program analysis for Java.
CSE215 Foundations of Computer Science
Zhoulai Fu's current research focuses on formal methods for scientific computing. Application domains include robotics, machine learning, medical imaging, and any safety-critical engineering fields where heavy numerical calculations are involved.
Research collaborations of any form will be highly welcomed. Interested students for Ph.D., Master's, or undergraduate levels should contact me.