Formal Methods in Manufacturing Systems: Recent Advances (Advances in Civil and Industrial Engineering) - Tapa dura

Acerca del autor

Zhiwu Li, Xidian University, People’s Republic of China.

Abdulrahman A. Mirza has been a faculty member in the IS Department, College of Computer and Information Sciences, King Saud University (KSU) since 1997. He has also been acting as the CIO at the King Abdullah Foundation for Developmental Housing since May of 2005. Dr. Mirza is also cooperating with the King Saud University for health sciences and teaching courses in their Master’s of Health Informatics programme. Between 2003 and 2005 Dr. Mirza was appointed the chairman of the IS Department at KSU. During the academic year of 2002/2003 he spent a year at DePaul University as a senior fulbright scholar, where he conducted cooperative research activities. His other experiences include teaching positions at Knowledge Systems Institute and Oakton Community College between 1995 and 1997. Dr. Mirza also worked in the industry as an applications developer between January 1996 and July 1997 at Genesis International, Inc. Dr. Mirza received his PhD in computer science from Illinois Institute of Technology (1995). His MS in operations research and management science and BS in computer science were both attained from George Mason University in 1990 and 1988 respectively.