Farokh Bastani

Professor · Institute of Technology

The University of Texas at Dallas · United States

AI-Based Automated Software Synthesis and TestingEmbedded Real-Time Process-Control and Telecommunications SystemsFormal Methods and Automated Program TransformationHigh-Assurance Autonomous Decentralized SystemsHigh-Confidence Software Reliability, Safety, and Security AssuranceInherently Fault-Tolerant and Self-Stabilizing Distributed SystemsModular Parallel ProgramsTele-Collaborative Systems

About

Please type your desired tags, e.g. Writing, italian art and culture, Macromolecules, Geospatial Information Science, Critical Infrastructure, speech perception, Cancer study, Sterilization, Verbal Behavior, Soil Chemistry, and etc.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.