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:

• Embedded Software Center (ESC)