Dianne's resume

Dianne Britton has more than twenty years experience in the field of software research and development. Her application experience has been primarily in the areas of web development, object technology, language design and implementation, formal verification, distributed computing, and security.

Dianne is currently Associate Director of Web Services at Columbia International University. She and the rest of the Web Services team develop web sites for  marketing, on-line education, and in-house applications, using LAMP (Linux, Apache, MySQL, PHP) architecture.

She has worked for RCA/Aerospace Advanced Technology Laboratories (with a clearance level of Top Secret), David Sarnoff Research Center, and Bell Laboratories, doing in-house research, some under Government grants, as well as developing for commercial systems.

At RCA/Aerospace ATL, Dianne was Principal Member of Engineering Staff and was principal investigator of a project to develop and apply techniques for formally verifying safety and liveness properties of designs of concurrent systems and computer networks. This project culminated in the design and implementation of an object-oriented formal langugage for specifiying and proving properites of system designs.

Dianne has been published in several national symposia proceedings, and has been a lecturer in the Department of Computer Science at Princeton University.

Dianne holds a Ph.D. and M.S. in Computer Science from the University of Arizona and a B.A. in Interdepartmental Studies (Computer Science) from the University of Rochester.