ECSS 3.212
Mailstop: EC31
Farokh Bastani
Professor, ECE
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