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

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。