Dr. Farokh B. Bastani
Professor of Computer Science.
Contact Information :
- Computer Science Department
- MS EC-31, Box 830688
- Richardson, TX 75083-0688
- Office: ECS-South 3.802
- Telephone: (972) 883-2299
- FAX: (972) 883-2349
- Email: Farokh.Bastani@utdallas.edu
- URL: http://www.utdallas.edu/~Farokh.Bastani
COURSE Related Information
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 CENTER
PUBLICATIONS
AWARDS