Farokh Bastani

Excellence in Education Chair
Professor - Computer Science
Director of the UT Dallas National Science Foundation Net-Centric Software & Systems Industry/University Cooperative Research Center
bastani@utdallas.edu
972-883-2299
ECS3802
Faculty Homepage
Tags: Computer Science Electrical Engineering Computer Engineering

Professional Preparation

Ph.D. - Computer Science
University of California at Berkeley - 1980
M.S. - Computer Science
University of California at Berkeley - 1978
B.Tech. - Electrical Engineering
Indian Institute of Technology, Bombay - 1977

Research Areas

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

Publications

D. Wang, F.B. Bastani, and I.-L. Yen, "Automated aspect-oriented decomposition of process-control systems for ultra-high dependability assurance," IEEE Transactions on Software Engineering, Vol. 31, No. 9, Sep. 2005, pp. 713-732. 2005 - Publication
J. Liu, F.B. Bastani, and I.-L. Yen,"A formal foundation of code pattern based development,"Intl. Conf. on Software Engineering and Knowledge Engineering(SEKE),Taipei, Taiwan, July 2005, pp. 274-279. 2005 - Publication
Manghui Tu, Peng Li, Qingkai Ma, I-Ling Yen, Farokh B. Bastani: On the Optimal Placement of Secure Data Objects over Internet. IPDPS 2005 2005 - Publication
F.B.Bastani,"Software for advanced telecommunications applications,"Alcatel/UTD Mobility and Business Applications Workshop,Jan. 11-12, 2005. 2005 - Publication
J. Liu, F.B. Bastani, I.-L. Yen,"Glue code synthesis for distributed software programming,"Intl. Conf. on Systems, Computing Sciences,and Software Engineering (SCSS 2005),Dec. 10-20, 2005. 2005 - Publication
Hui Ma, Dongfeng Wang, Farokh B. Bastani, I-Ling Yen, Kendra Cooper: A Model and Methodology for Composition QoS Analysis of Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 56-65 2005 - Publication
J. Liu, F.B. Bastani, and I.-L. Yen,"A formal foundation of code pattern based development,"Intl. Conf. on Software Engineering and Knowledge Engineering(SEKE),Taipei, Taiwan, July 2005, pp. 274-279. 2005 - Publication
T. Gao, H. Ma, I.-L. Yen, F.B. Bastani, W.-T. Tsai,"Toward QoS analysis of adaptive service-oriented architecture,"IEEE Intl. Workshop on Service-Oriented System Engineering (SOSE),Beijing, China, Oct. 21-22, 2005, pp. 219-226. 2005 - Publication
M. Gupta, M. Tu, L. Khan, F. Bastani, and I.-L. Yen, "A study of the model and algorithms for handling location dependent continuous queries," Knowledge and Information Systems: An Intl. Journal, Springer-Verlag London, Vol. 8, No. 4, Nov. 2005, pp. 414-437. 2005 - Publication
J. Liu, F.B. Bastani, and I.-L. Yen,"Meta code pattern and its refinement,"2005 Intl. MultiConf. in. Computer Science & Computer Engineering,Las Vegas, Nevada, June 27-30, 2005. 2005 - Publication

Appointments

Director
UTD [2000–Present]
University of Texas at Dallas
Director
University of Texas at Dallas [1997–2000]
Visiting Scholar
Michigan State University [1993–1994]
Professor
University of Houston [1993–1997]
Associate Professor
University of Houston [1986–1993]
Visiting Scholar
University of California at Berkeley [1986–1987]
Assistant Professor
University of Houston [1980–1986]
Research Assistant
University of California at Berkeley [1978–1980]

Projects

Overview of UTD CS Department and Embedded Systems Research
2007–2007 Arizona State University, Tempe, AZ, June 11, 2007.
Net-centric Software and Systems Engineering Consortium
2007–2007 Rockwell-Collins, Richardson, TX, March 16, 2007.

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)

News Articles

Engineering and Computer Science School Celebrates Technology Honors
Several members of the Erik Jonsson School of Engineering and Computer Science were recognized this year in the Metroplex Technology Business Council’s Tech Titan awards.

The Tech Titan of the Future, University Award went to the Net-Centric Software and Systems Industry/University Cooperative Research Center. The center, sponsored by the National Science Foundation, is a collaboration between the Jonsson School, the University of North Texas, Southern Methodist University, Arizona State University and Missouri University of Science and Technology. Faculty members and students in the center collaborate on innovative research projects with industrial partners from such companies as Boeing, Cisco Systems, Hewlett-Packard Co., Lockheed Martin, NTT Data, Raytheon Co., Tektronix and Texas Instruments.

Funding

A Planning Activity for Joining the Center for Embedded Systems
$10,000 - National Science Foundation IIP - Industry/University Cooperative Research Centers [2007–2008]
High-Assurance NCCS: Ultra Dependability Integration Engineering
$207,250 - Department of Defense [2007–2008]