Page 243 -

228 EDITORS AND CONTRIBUTORS
degree from Brown University in 1966 and his Ph.D. degree from Princeton in 1970, the year
he joined the faculty of the University of Toronto, where he remains a part-time professor. His
research interests include software requirements engineering, data semantics, knowledge manage-
ment, and knowledge-based systems. He is the recipient of the first Outstanding Services Award
given by the Canadian AI Society (CSCSI), a co-recipient of the most influential paper award at
the 1994 International Conference on Software Engineering (ICSE’94), a fellow of the American
Association for AI (AAAI), and a past president of the VLDB Endowment (1998–2003). He has
served on the editorial board of several international journals, including ACM Transactions on
Information Systems (TOIS), the ACM Transactions on Software Engineering and Methodol-
ogy (TOSEM), and the ACM Computing Surveys. He is co-editor-in-chief of the Requirements
Engineering Journal (Springer-Verlag). He has also contributed to the organization of major
international conferences, including program co-chair of the International Joint Conference of
AI (1991), general chair of the Entity-Relationship conference (1994), and program chair of the
International IEEE Symposium of Requirements Engineering (1997). He is currently leading
a number of research projects, and has been principal investigator of national and provincial
Centres of Excellence in Canada.

Kinh Nguyen is a lecturer in computer science at La Trobe University, Australia, and is a member
of the Software Engineering Research Group. He obtained his B.Sc. 1st Class Hns. and M.Sc. with
Distinction from Canterbury University, New Zealand, and Ph.D. in computer science from La
Trobe University. He has been actively working in the area of data-intensive systems development,
covering conceptual modeling, relational databases, object databases, Web information systems,
aspect-oriented programming, and model-driven engineering. One of his main interests is the
practical application of formal notations in rigorous software development processes.

Oscar Pastor is professor for object-oriented development methods at the Valencia University
of Technology, Spain. He has a Ph.D. in computer science and a degree in physics. He has taught
software engineering for more than fifteen years, during which time his research has focused on
object-oriented conceptual modeling, requirements engineering, Web development, and model-
based software production. He has headed prestigious scientific events such as the World Wide
Web Conference in 2007 (Web Engineering Track) and the International Conference on Conceptual
Modeling in 2005. In addition, he is the principal creator of the OlivaNova Model Execution, an
advanced MDA-based set of tools that produces a final software product starting from a conceptual
schema where the system requirements are captured.

Mark Pleszkoch is a senior member of the technical staff of the Software Engineering Institute
(SEI). His research interests include automated proof checking and its application to formal veri-
fication of programs. Prior to joining the SEI, he worked for IBM and was an original member
of IBM’s Cleanroom Software Technology Center, where he educated and consulted with clients
on software process, formal verification, and statistical testing of software. He was the principal
architect of the IBM Cleanroom Certification Assistant tool set for statistical testing automation.
He holds a Ph.D. in Computer Science from the University of Maryland, as well as an M.S. in
mathematics from the University of Virginia, where he was a Putnam Fellow of the Mathematics
Association of America. He is a member of the Association for Symbolic Logic and the IEEE.

Stacy Prowell is a senior member of the technical staff of the Software Engineering Institute
(SEI). His research interests include rigorous software specification methods, automated statisti-