John Fitzgerald

male
PhD, Alumni of the University of Manchester, Academic of Newcastle University, Formal methods, BCS-FACS, dependability…FormalMethodsEurope, Chairman of Formal Methods Europe
Dr John Fitzgerald is a British computer scientist and Chair of Formal Methods Europe. He holds a readership at Newcastle University, UK. His...

Dines Bjørner

male, 72 years old
Fellow of the Association for Computing Machinery, Association for Computing Machinery, Fellow of the IEEE, Academic, IEEE, macau…Formal methods, FormalMethodsEurope, Formal Techniques Industry Association
Dines Bjørner in Macau during the 1990s. His "magnum opus" on software engineering (three volumes) appears in 2005/6 (see details below). To s...