Farokh B. Bastani

Farokh B. Bastani is a Professor of Computer Science at the University of Texas at Dallas (UTD), affiliated with the Erik Jonsson School of Engineering and Computer Science. He holds a Ph.D. from the University of California, Berkeley. His research focuses on AI-driven software synthesis, embedded real-time systems, formal methods, high-assurance autonomous systems, and fault-tolerant distributed systems. He leads research in the NSF Industrial/University Cooperative Research Center (IUCRC).

• Education: Ph.D., Computer Science, UC Berkeley

His work emphasizes software reliability, safety assurance, and modular parallel programming. Research outputs include journal and conference publications, though specific titles are not listed here. The awards section appears incomplete (404 error noted).

Labs/Teams: Active involvement with the NSF IUCRC program. No advising records or grant details provided in the text.