Skip to content

Bastani, Farokh B.

Dr. Farokh B. Bastani

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

Degrees:

  • 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:

WordPress › Error

There has been a critical error on your website.

Learn more about debugging in WordPress.