Sat 3 Dec 2005
5th Keynote Announcement: Connie Heitmeyer
Posted by Mark Pavlidis No CommentsI would like to bring your attention to our fifth and final Keynote announcement, Connie Heitmeyer.
Connie is the Head of the Software Engineering Section of the Naval Research Laboratory’s Center for High Assurance Computer Systems, and Chief Designer of the SCR. Her research interests are in formal specification and formal analysis of software and system requirements and of high assurance software systems. She is also very interested in transferring formal methods technology and tools to software practitioners. Connie’s keynote will describe the many different roles that formally based tools can play in debugging, verifying, and validating software and software artifacts, with emphasis on tools for specifying and analyzing software requirements.
See the Keynotes pages for Connie’s (and all the keynotes) bio and talk abstract. For more of Connie’s work, take a look at some of her selected publications.
