|
|
|
* Click on member's name to read their bio.*
CRA-W Co-Chairs:
-
Carla Brodley
- Co-Chair
Department of Computer Science, Tufts University
Kathleen Fisher
- Co-Chair, Industry Programs, CAPP-L
AT&T Labs Research
CRA-W Members and Projects:
Nancy Amato
- Distributed Research Experiences for Undergraduates (DREU), Distinguished Lecture Series (DLS)
Department of Computer Science, Texas A&M University
Cecilia R. Aragon
- Communications
Lawrence Berkeley National Laboratory
Carla Brodley - Co-Chair
Department of Computer Science, Tufts University
Tracy Camp
- Distributed Research Experiences for Undergraduates (DREU)
Colorado School of Mines
Sheila
Castañeda - Career Mentoring Workshops, Multidisciplinary Research Opportunities for Women (MRO-W)
Computer Science Department, Clarke College
Lori Clarke - Grad Cohort Program
University of Massachusetts
Joanne Cohoon - Evaluation
University of Virginia
Andrea Danyluk - Collaborative Research Experience for Undergraduates (CREU)
Williams College
Dilma Da Silva
- Distinguished Lecture Series (DLS)
IBM Research
Carla Ellis - Steering Committee, Fundraising Committee, NCWIT hub co-director, Grace Hopper liaison
Computer Science Department, Duke University
Kathleen Fisher -
Co-Chair, Industry Programs, CAPP-L
AT&T Labs Research
Joan Francioni - Advanced Career Mentoring Workshop (CAPP)
Department of Computer Science, Winona State University
Maria Gini - Distributed Research Experiences for Undergraduates (DREU)
Department of Computer Science and Engineering, University of Minnesota
Susanne E. Hambrusch - Career Mentoring Workshops (CMW-R), Advanced Career Mentoring Workshop (CAPP)
Purdue University
Mary Jean Harrold
- Steering Committee, Communications Committee (Newsletter editor)
School of Computer Science, College of Computing
Associate Dean for Faculty Affairs in the College of Computing
Julia Hirschberg
Computer Science, Columbia University
Mary Jane
Irwin - Steering Committee member, Awards and Nominations,
Governments Affairs member
Department of Computer Science and Engineering, Penn State University
Susan Landau - ResearcHers, Booklist, Advanced Career Mentoring Workshop (CAPP)
Distinguished Engineer, Sun Microsystems Laboratories
Tessa Lau
Staff member at IBM's Almaden Research Center
Margaret Martonosi - Co-Chair, Discipline-Specific Workshops
Department of Electrical Engineering, Princeton University
Renée
J. Miller - Distinguished Lecture Series (DLS)
Department of Computer Science, University of Toronto
Joann
Ordille
Avaya Labs
Lori Pollock - Grad Cohort Program
Department of Computer and Information Sciences, University of Delaware
Mary Lou Soffa
- Affilites DMP Program, Grad Cohort Program, Cohort of Associate Professors Project (CAPP)
Department of Computer Science, University of Virginia
Manuela Veloso
Computer Science Department, Carnegie Mellon University
Telle Whitney
- Liaison with the Institute for Women in Technology
Institute for Women in Technology
CRA-W Emerita Members:
Emerita status is bestowed upon retired members who made major contributions to CRA-W during their membership.
CRA-W Staff:
|
 |
Lori A. Clarke: Grad Cohort Program University of Massachusetts
Professor Lori A. Clarke is a member of the Computer Science faculty
at the University of Massachusetts, Amherst. She is an ACM Fellow,
a member of the IEEE Publication Board, and an elected member of
the Computing Research Association's Board of Directors.
She is a former IEEE Distinguished Visitor, ACM National Lecturer,
associate editor of ACM TOPLAS and IEEE TSE, member of the CCR NSF
advisory board, ACM SIGSOFT secretary/treasurer, vice-chair and
chair, as well as a 1990 recipient of the University of Massachusetts
Chancellor's Medal, and a 1993 recipient of a University Faculty
Fellowship. She has written numerous papers, served on many program
committees, and was program co-chair of the 14th International Conference
on Software Engineering. She is general chair of the 2003 International
Conference on Software Engineering. She has been a Principal Investigator
on a number of NSF and ARPA/DARPA projects.
|
|
Dr. Clarke has worked in the area of software testing
and analysis 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 to select test data. With Richardson, she
developed one of the first approaches for specification-based testing.
With Podgurski, Richardson, and Zeil she showed how the more popular
test coverage criteria relate to each other. This paper was cited,
ten years after the conference, as one of the most influential papers
of ICSE 8. This led to work with Thompson and Richardson that demonstrated
how fault-based approaches fail to provide necessary fault detection
conditions, thus revealing a major weakness in this approach. With
Podgurski, she defined a general, language-independent model of
program dependencies, which generalizes Weiser's work on program
slicing. In the environments area Clarke, along with Wileden and
Wolf, debunked the benefits of a nested program structure and then
proposed an alternative component interaction model. With Tarr,
she also developed one of the first database programming language,
Pleiades . Recently her work has focused on analysis of concurrent
systems. With Cobleigh, Dwyer, Naumovich and Osterweil, she has
developed FLAVERS, a static analysis tool that uses data flow analysis
techniques to verify user-specified properties. FLAVERS is an efficient
technique that allows users to selectively improve the accuracy
of the program model as needed to improve the accuracy of the results.
|
|