McMaster University, Department of Computing and Software, Software Quality Research Laboratory
ACSD 2004 Application of Concurrency to System Design June 2004.  Hamilton, Ontario, Canada.
Published by: IEEE Computer Society Press IOS Press Excursion to: Niagara Falls
Sponsors: Software Quality Research Laboratory, McMaster University Faculty of Engineering, McMaster University CITO Intel Motorola



Ed Brinksma holds the chair of Formal Methods and Tools at the University of Twente in the Netherlands. His work concentrates on the application of formal methods to reactive systems, ranging from fundamental contributions to industrial applications, as well as methodological issues. In the past he has contributed to areas such as communication protocol specification, specification-based test generation, stochastic process algebra, and guided model checking. His current interests include testing theory for real-time systems, modelling and analysis of hybrid systems, and real-time scheduling synthesis.

Ed served as an editor for IEEE Transactions on Software Engineering, and is on the editorial boards of the Springer International Journals of Software Tools for Technology Transfer (STTT) and Software and System Modeling (SoSym). He is a founding member of the steering committee of the TACAS conference, and has served on the steering committees of PSTV/FORTE, ETAPS and PAPM.

Ed's research group participates in a great number of (inter)national research projects with both academic and industrial partners, including the European IST projects AMETIST (timed systems) and ARTIST (embedded systems).


John Thistle received the B.Sc.(Eng.) in engineering physics from Queen's University and the M.A.Sc. and Ph.D. in electrical engineering from the University of Toronto. In 1991 and 1992 he was an NSERC Postdoctoral Fellow at the University of Cambridge, the University of California at Berkeley, and the École Polytechnique de Montréal, where he was a faculty member from 1993 to 2000. Since July 2000 he has been an Associate Professor of Electrical and Computer Engineering at the University of Waterloo, Ontario, Canada.

His research interests lie in the area of control theory for discrete event systems, as modeled and specified by means of automata, formal languages and program logics. Recent work concerns the decidability and complexity of the synthesis of centralized and distributed controllers. Potential applications occur not only in traditional control engineering areas but also, for example, in the design of distributed software systems.

Dr. Thistle is a member of the WatForm (Waterloo Formal Methods) research group. He held one-month visiting positions at the University of Paris VI and VII in 1996 and 2002, respectively.


Gregor v. Bochmann is a professor at the School of Information Technology and Engineering at the University of Ottawa since January 1998. Previously, he was professor at the University of Montreal for 25 years. He is a fellow of the IEEE and ACM and a member of the Royal Society of Canada. He has worked in the areas of programming languages, compiler design, communication protocols, and software engineering and has published many papers in these areas. He has also been actively involved in the standardization of formal description techniques for communications protocols and services. His present work deals with methodologies for the design of distributed systems, quality of service negotiation for distributed multimedia applications, and optical networks.

© 2003-2004 McMaster University, Department of Computing and Software.

Contact e-mail: | McMaster's Privacy Policy