Farokh Bastani

ECE Affiliate

Education

  • Ph.D., University of California, Berkeley

Overview

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