Experts on Formal methods

Jie Fu
Jie Fu
Professor Fu conducts research in the intersection of control, learning, and formal methods. The main focus is to develop autonomous systems to complete complex tasks in an open world in an intelligent, adaptive, and provably correct manner. ... View Profile