Farokh BastaniView profile
Professor
- AI-Based Automated Software Synthesis
- Embedded Real-Time Systems
- Formal Methods and Program Transformation
- +4 more
Farokh Bastani is the Excellence in Education Chair and Professor of Computer Science at the University of Texas at Dallas (UT Dallas). He serves as Director of the UT Dallas National Science Foundation Net-Centric Software & Systems Industry/University Cooperative Research Center. His academic journey includes roles at the University of Houston (1980–1997) and visiting positions at Michigan State University and the University of California, Berkeley. Bastani holds a Ph.D. in Computer Science from UC Berkeley (1980), an M.S. from the same institution (1978), and a B.Tech. in Electrical Engineering from the Indian Institute of Technology, Bombay (1977). His research focuses on AI-driven software synthesis, embedded real-time systems, formal methods, high-assurance decentralized systems, and tele-collaborative systems. He has led projects on fault-tolerant distributed systems, software reliability, and security assurance. His work emphasizes modular parallel programming and telecommunication system design. Bastani’s publications span topics like P2P data grids, robotic swarm systems, and real-time anomaly detection. He has received multiple IEEE awards, including the Meritorious Service Certificate (2001) and Golden Core Award (1996). He holds editorial roles in journals like the IEEE Transactions on Knowledge and Data Engineering and Wiley’s Encyclopedia of Computer Science. He has directed significant grants, including the $207,250 High-Assurance NCCS project (DoD, 2007–2008) and NSF-funded initiatives. His lab, the Embedded Software Center, develops resilient systems for hostile environments. Collaborations with industry partners like Boeing and Lockheed Martin underscore his applied research impact.










