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)
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.