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.