Experts on Formal methods

Jie Fu
Jie Fu
  • Affiliate Assistant Professor Robotics Engineering
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