Lori Clarke
Lori A. Clarke is currently an emerita professor in the College of Information and Computer Sciences, University of Massachusetts Amherst, after serving on the computer science faculty for forty years and as chair from 2011-2015. She is a Fellow of the ACM and IEEE, and a board member of the Computing Research Association’s Committee on Widening Participation in Computing Research (CRA-WP). She is a former vice chair of the Computing Research Association (CRA), co-chair of CRA-W(P), IEEE Publication Board member, associate editor of ACM TOPLAS and IEEE TSE, member of the CCR NSF advisory board, and ACM SIGSOFT chair. Awards include the 2012 SIGSOFT Outstanding Research Award, 2011 University of Massachusetts Outstanding Accomplishments in Research and Creative Activity Award, the 2009 College of Natural Sciences and Mathematics Outstanding Faculty Service Award, the 2004 University of Colorado, Boulder Distinguished Engineering Alumni Award, and the 2002 SIGSOFT Distinguished Service Award.
Dr. Clarke’s research is in the area of software engineering. She is one of the initial developers of symbolic execution and developed one of the first model checking systems applicable to distributed software systems. Recently she has been investigating applying software engineering technologies to detect errors and vulnerabilities in complex, human-intensive processes in domains such as healthcare. She is also involved in efforts to increase participation of underrepresented groups in computing research.