User:JohnSFitzgerald

From Wikipedia, the free encyclopedia

This is a Wikipedia user page.

This is not an encyclopedia article. If you find this page on any site other than Wikipedia, you are viewing a mirror site. Be aware that the page may be outdated and that the user to whom this page belongs may have no personal affiliation with any site other than Wikipedia itself. The original page is located at http://en.wikipedia.org/wiki/User:JohnSFitzgerald.

I'm a research scientist working on technology for building dependable computer-based systems, particularly Formal Methods. I'm currently working on substantial updates to the articles on the Vienna Development Method and the VDM Specification Language.