Home > Lori A. Clarke

Lori A. Clarke

Department of Computer Science
University of Massachusetts
Amherst MA 01003
Phone: (413) 545-1328
Fax: (413) 545-1249

Professor Lori A. Clarke is a member of the Computer Science faculty at the University of Massachusetts, Amherst. She is vice chair of the Computing Research Association (CRA) and co-chair of CRA's Committee on the Status of Women in Computing Research (CRA-W). She is a former IEEE Distinguished Visitor, ACM National Lecturer, IEEE Publication Board member, associate editor of ACM TOPLAS and IEEE TSE, member of the CCR NSF advisory board, ACM SIGSOFT secretary/treasurer, vice-chair and chair. She has written numerous papers, served on many program committees, was general chair of the 2003 and program co-chair of the 1992 International Conference on Software Engineering. She has been a Principal Investigator on a number of NSF and DARPA projects.

Dr. Clarke has worked in the area of software engineering, particularly on software analysis and testing for many years. She was one of the primary developers of symbolic execution, a technique used to reason about the behavior of software systems and for selecting test data, and made contributions in the areas of software architecture and object management. Recently her work has focused on analysis of concurrent systems. With colleagues, she has developed FLAVERS, a static analysis tool that uses data-flow analysis techniques to verify user-specified properties. FLAVERS automatically creates a concise, but perhaps imprecise, model of the software system and then allows users to selectively improve the accuracy of the program model as needed to improve the accuracy of the results. The PROPEL system complements FLAVERS, and other event-based finite-state verification systems, by helping users elucidate the details of the properties to be proven. FLAVERS allows users to simultaneously view and construct properties from templates of English language phrases or finite-state automata. The long-term goal is to develop techniques that well-trained software engineers can use to improve the quality of software systems.

Education

University of Rochester, B.A. Mathematics, 1969

University of Colorado, Ph.D. Computer Science, 1976

Experience

  • Professor, Department of Computer Science, University of Massachusetts (September 1986–present)
  • Associate Professor, (September 1981–August 1986), Assistant Professor, (September 1976–August 1981)
  • Instructor (September 1975–August 1976)

Awards and Honors

  • 2004 Distinguished Engineering Alumni Award in the Research and Invention Category, University of Colorado, Boulder
  • IEEE Computer Society and ACM SIGSOFT Certificate of Appreciation, May 2003
  • ACM SIGSOFT Distinguished Service Award, 2002
  • ACM Fellow, 1998
  • Distinguished Lectures: University of Nebraska, January 2006, University of Pennsylvania, September 2002; University of California, Irvine, May 2001; Michigan State University, January 2000; Johns Hopkins University, November 1992
  • Keynote Addresses: Monterey Workshop on Software Engineering for Embedded Systems, September 2003, AQuIS, March 1998,Venice, Italy; Quality Week, May 1997, San Francisco, CA
  • ACM Recognition of Service Award, 1994.
  • Faculty Fellowship Award, University of Massachusetts, 1993.
  • Chancellor's Distinguished Faculty Award, University of Massachusetts at Amherst, April 1991.

Member

  • IEEE Computer Society
  • Association for Computing Machinery (ACM)
  • ACM Special Interest Group on Programming Languages (SIGPLAN)
  • ACM Special Interest Group on Software Engineering (SIGSOFT)

Professional Activities
 

© 2007 University of Massachusetts Amherst. Site Policies.
This site is maintained by the Laboratory for Advanced Software Engineering Research.