Javascript must be enabled to use this form.

UTDallas Research Explorer
 View Profile
    Faculty Profile — Is this you? Login to edit.Last Modified Time: 10:14:51 AM Wed, 4 Dec 2013 

This site is going away soon - please visit the new URL for this page.

You will be automatically redirected in 10 seconds.

Image of  Farokh B Bastani
 Contact InformationHelpHelp  
Farokh B Bastani
Professor-Computer Science, Professor-Computer Science
Office MailstopECSS3.802, Room No.: ECS3802 
Email Address    Primary Phone Number 972-883-2299    Fax Number (972) 883-2349    URL Faculty Homepage    Media Contact
Administrative Assistant:  Help  
Gary, Lynda
 Professional Preparation
 Ph.D.Computer ScienceUniversity of California at Berkeley1980
 M.S.Computer ScienceUniversity of California at Berkeley1978
 B.Tech.Electrical EngineeringIndian Institute of Technology, Bombay1977
Collapse Section Expand Section Research and Expertise
Research Interests
  • 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
Collapse Section Expand Section Publications
 2 3 4 Next>> 15>>  
  YearPublication  Type
Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu: Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. J. Grid Comput. 11(1): 103-127 (2013)
Peer reviewed
Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul: Information Assurance for Real-Time Decision Support. ISORC Workshops 2012: 150-155
Conference paper
Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen: Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. ISORC 2012: 95-102
Conference paper
Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen: Handling Planning Failures with Virtual Actions. ICTAI 2012: 468-475
Conference paper
Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan: Real-Time Anomaly Detection in Streams of Execution Traces. HASE 2012: 32-39
Conference paper
Collapse Section Expand Section Presentations and Projects
Start DateEnd DatePresentation/Project
06/11/2007 06/11/2007 Overview of UTD CS Department and Embedded Systems Research
Arizona State University, Tempe, AZ, June 11, 2007.
03/16/2007 03/16/2007 Net-centric Software and Systems Engineering Consortium
Rockwell-Collins, Richardson, TX, March 16, 2007.
Collapse Section Expand Section Appointments
DurationRankDepartment / SchoolCollege / OfficeUniversity / Company
2000-PresentDirectorEmbedded Software CenterUniversity of Texas at DallasUTD
1997-2000DirectorCenter for Application-Specific Systems and Software Engineering University of Texas at Dallas
1993-1997ProfessorDepartment of Computer Science University of Houston
1993-1994Visiting ScholarDepartment of Computer Science Michigan State University
1986-1993Associate ProfessorDepartment of Computer Science University of Houston
1986-1987Visiting ScholarDepartment of Electrical Engineering and Computer Science University of California at Berkeley
1980-1986Assistant ProfessorDepartment of Computer Science University of Houston
1978-1980Research AssistantElectrical Research Laboratory University of California at Berkeley
09/01/07-08/31/08A Planning Activity for Joining the Center for Embedded SystemsNational Science Foundation IIP - Industry/University Cooperative Research Centers$10,000Previous
05/01/07-03/31/08High-Assurance NCCS: Ultra Dependability Integration EngineeringDepartment of Defense$207,250Previous
       Teaching HelpHelp  
 Additional Information
Honors and Awards
  • IEEE Computer Society Meritorious Service Certificate, 2001
  • IEEE Computer Society Golden Core Award, 1996
  • IEEE Computer Society Certificate of Appreciation, 1995
  • IEEE Computer Society Meritorious Service Certificate, 1992

Offices and Committee Assignments in Professional Organizations:
  • Emeritus Editor-in-Chief, IEEE Transactions on Knowledge and Data Engineering, 2001-present
  • Editor for the International Journal of Knowledge and Information Systems, 1999-present
  • Editor for the International Journal on Artificial Intelligence Tools, 1993-present
  • Editor for the Wiley Encyclopedia of Computer Science and Engineering (Software Engineering section), 2003 - present
  • Steering Committee Member, IEEE International Conference on Tools with Artificial Intelligence, 1996-present
  • Program Committee Member, IEEE International Symposium on Software Reliability Engineering, 2007
  • Program Committee Member, 2007 IEEE International Conference on e-Business Engineering (ICEBE-2007)

Please verify the information in this request and mention any changes or suggestions in the comments section. Email notifications and confirmations regarding this will be sent to you at fromEmail and the profile owner. If you would like to receive it at a different email address, please change the email address listed on your profile.
© 2018-2019 The University of Texas at Dallas About Explorer | Accessibility | Contact Explorer Team