Skip to content

Bastani, Farokh B.

Dr. Farokh B. Bastani

Professor (CS, CE, & TE), Excellence in Education Chair


  • Ph.D., University of California, Berkeley

Research Interests:

  • AI-Based Automated Software Synthesis and Testing
  • Embedded Real-Time Process-Control and Telecommunications Systems
  • Formal Methods and Automated Program Transformation
  • High-Assurance Autonomous Decentralized Systems
  • High-Confidence Software Reliability and Safety Assurance
  • Inherently Fault-Tolerant and Self-Stabilizing Distributed Systems
  • Modular Parallel Programs
  • Tele-Collaborative Systems

Research Centers:

Previous Profile: Arnold, Gordon

Next Profile: Becker, Eric

Department of Computer Science