POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Zhoulai Fu

Registered user since Fri 21 Aug 2015

Name:Zhoulai Fu
Bio:

Zhoulai Fu’s current research focuses on formal methods for scientific computing. Application domains include robotics, machine learning, medical imaging, and most safety-critical engineering fields where heavy numerical calculations are involved.

Research collaborations of any form will be highly welcomed. Interested students for postdoc, Ph.D., Master’s, or undergraduate -level research study should contact me: .

Affiliation:State University of New York, Korea
Personal website: http://zhoulaifu.com
Research interests:Programming Languages Theory and Applications; Scientific Computing; Software Engineering; Security; Machine Learning

Contributions

Show activities from other conferences

Using general profile