Dr. Jeffrey J. P. Tsai received his Ph.D. degree in Computer Science from the Northwestern University, Evanston, Illinois. He is a Professor in the Department of Electrical Engineering and Computer Science at the University of Illinois at Chicago, where he is also the Director of the Distributed Real-Time Intelligent Systems Laboratory. He co-authored Knowledge-Based Software Development for Real-Time Distributed Systems (World Scientific, 1993), DistributedReal-Time Systems: Monitoring, Visualization, Debugging, and Analysis (John Wiley and Sons, Inc., 1996), Compositional Verification of Concurrent and Real-Time systems (Kluwer, 2002), co-edited Monitoring and Debugging Distributed Real-Time Systems (IEEE/CS Press, 1995), and has published over 160 papers in the areas of knowledge-based software engineering, software architecture, requirements engineering, formal methods, agent-based systems, and distributed real-time systems. Dr. Tsai was the recipient of a University Scholar Award from the University of Illinois in 1994, and was presented a Technical Achievement Award from the IEEE Computer Society in 1997. He is the Co- Editor-in-Chief of the International Journal of Artificial Intelligence Tools and on the editorial board of the International Journal of Software Engineering and Knowledge Engineering, and chairs the IEEE/ CS Technical Committee on Multimedia. He is a Fellow of the IEEE, the AAAS, and the SDPS.