Registered user since Fri 21 Aug 2015
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: .
|PLDI 2023||Committee Member in PLDI Review Committee within the PLDI Research Papers-track|
|Show activities from other conferences|