Find out how ICT can support biomedical and clinical researchFind out more. From Clever cars to clever farms... Embedded Systems
Profile of Presenter

Professor Lori A. Clarke, University of Massachusetts, Amherst

Lori A. Clarke is a professor in the Department of Computer Science at the University of Massachusetts, Amherst. She is an ACM Fellow, vice-chair of the Computing Research Association (CRA), and co-chair of the CRA subcommittee 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, and ACM SIGSOFT secretary/treasurer, vice-chair and chair. She is a recipient of the 2004 University of Colorado School of Engineering Outstanding Alumni Award, the 2002 SIGSOFT Distinguished Service Award, a 1990 University of Massachusetts Chancellor's Medal, and a 1993 University Faculty Fellowship. She has written numerous papers, served on many program committees, was program co-chair of the 14th International Conference on Software Engineering and 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.  Recently her work has focused on analysis of concurrent systems. She is one of the primary developers of FLAVERS, a static analysis tool that uses data flow analysis techniques to verify user-specified properties. Current projects include support for property specifications, architectural-based verification, and medical safety. 

Courses:

Validation Techniques for Finding Software Bugs 1-day short course, scheduled on: please enquire

Software Engineering Technology for Improving Safety of Medical Processes 1-day short course, scheduled on: please enquire

For further information please contact:
Anne-Marie Eliseo
Industry Education Manager
phone: +61-8-8302-3928
email: industryeducation@nicta.com.au

NICTA is able to deliver in-house training.