Dr. Farokh B. Bastani

Professor of Computer Science.

Ph.D., University of California, Berkeley

---

Contact Information :
Computer Science Department
MS EC-31, Box 830688
Richardson, TX 75083-0688

Telephone: (972) 883-2299
FAX: (972) 883-2349
Email: bastani@utdallas.edu
URL: http://www.utdallas.edu/~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, Safety, and Security Assurance
• Inherently Fault-Tolerant and Self-Stabilizing Distributed Systems
• Modular Parallel Programs
• Tele-Collaborative Systems

PUBLICATIONS

AWARDS