Dianne Britton has over twenty-five 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 Web Services Manager 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) and .NET (Windows, IIS, T-Sql, C#) architectures.
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, and an adjunct professor in the School of Library and Information Science at theUniversity of South Carolina.
B.A., University of Rochester; M.S., University of Arizona; Ph.D., University of Arizona.