Who's Who in
Sciences Academia

Farokh B. Bastani

Academic Title: Professor

Name: Farokh B. Bastani

 

Department: Department of Computer Science

Department Website: http://www.utdallas.edu/dept/cs/

Institution: University of Texas, Dallas

 

Address: PO Box 830688, MS EC31
Richardson, Texas 75083-0688

 

Highest Degree:

Date of Degree:

Degree Institution:

 

E-mail: Contact by e-mail?

 

Expertise: 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

 

---

Start A New Search

If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.