Biographical sketches of authors

Jamieson M. Cobleigh   University of Massachusetts, Amherst, Massachusetts 01003 (electronic mail: jcobleig@cs.umass.edu). Mr. Cobleigh received a B.S. degree in computer science and mathematics from Rutgers University and is currently a computer science graduate student at the University of Massachusetts. His thesis is investigating compositional approaches to finite state verification. He is a recipient of the WellFleet Fellowship and is a graduate research assistant.

Lori A. Clarke   University of Massachusetts, Amherst, Massachusetts 01003 (electronic mail: clarke@cs.umass.edu). Dr. Clarke received a B.A. degree in mathematics from the University of Rochester and a Ph.D. degree in computer science from the University of Colorado. In 1975 she joined the computer science faculty at the University of Massachusetts, where she has continued to pursue research on a broad range of software engineering issues, including verification of distributed systems and distributed object technology. Dr. Clarke is a Fellow of the ACM, a recipient of the University of Massachusetts Chancellor's medal, a member of the IEEE Computer Society Publications Board, the board of directors of the Computing Research Association (CRA), and the steering committee for the International Conference on Software Engineering (ICSE). She is a former IEEE Distinguished Visitor, ACM National Lecturer, member of the NSF CCR advisory board, recipient of a University Faculty Fellowship, associate editor of ACM Transactions on Programming Languages and Systems and the IEEE Transactions on Software Engineering, and secretary/treasurer, vice-chair, and chair of SIGSOFT. She has served on or chaired numerous program committees and is general chair of ICSE 2003.

Leon J. Osterweil   University of Massachusetts, Amherst, Massachusetts 01003 (electronic mail: ljo@cs.umass.edu). Dr. Osterweil is currently Dean of the College of Natural Sciences and Mathematics at the University of Massachusetts, where he is also a professor in the Department of Computer Science, codirector of the Laboratory for Advanced Software Engineering Research (LASER), and founding codirector of the Electronic Enterprise Institute. Previously he had been a professor in, and chair of, computer science departments at both the University of California, Irvine, and the University of Colorado, Boulder. He was the founding director of the Irvine Research Unit in Software (IRUS) and the Southern California Software Process Improvement Network (SPIN). He has been the program committee chair for the Sixteenth International Conference on Software Engineering, the Second International Symposium on Software Testing, Analysis, and Validation, the Fourth International Software Process Workshop, the Second Symposium on Software Development Environments, and both the Second and Fifth International Conferences on the Software Process. He was also the general chair of the Sixth ACM SIGSOFT Conference on the Foundations of Software Engineering. He has been a member of the editorial boards of the ACM Transactions on Software Engineering Methods, IEEE Software, and Software Process Improvement and Practice. He has presented keynote talks at CASE '92 in Montreal, Quality Week 2000 in San Francisco, the Inaugural Symposium of JAIST (the Japan Advanced Institute for Software Technology) in Kanazawa, Japan, and ICSE 9 (the Ninth International Conference on Software Engineering), where he introduced the concept of process programming. His ICSE 9 paper has been awarded a prize as the most influential paper of ICSE 9, awarded as a 10-year retrospective. He has consulted for IBM, Bell Laboratories, SAIC, MCC, and TRW, and SEI's Process Program Advisory Board. Dr. Osterweil is a Fellow of the ACM.