Jim Woodcock

male
Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist. Woocock gained his PhD from the University of Liverpool. Until 2001 he was...
Jonathan Bowen

Jonathan Bowen

male
Jonathan Bowen is Chairman of Museophile Limited and a Visiting Professor at London South Bank University, where he has founded and headed the...
C. A. R. Hoare

C. A. R. Hoare

male, 75 years old
Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born January 11, 1934) is a British computer scientist, probably best known for the...
Amir Pnueli

Amir Pnueli

male, 68 years old (New York, New York, United States)
Amir Pnueli (born April 22, 1941) is an Israeli computer scientist who received the Turing Award in 1996 "for seminal work introducing temporal...
Bertrand Meyer

Bertrand Meyer

male, 59 years old
Bertrand Meyer (born 1950 in France) developed the Eiffel programming language, and is an author, academic and consultant in the field of computer...
David Harel

David Harel

male, 59 years old
David Harel (born 1950) is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of...
Leslie Lamport

Leslie Lamport

male, 68 years old (Palo Alto, California, United States)
Dr. Leslie Lamport (born 1941) is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics...

John Fitzgerald

male
Dr John Fitzgerald is a British computer scientist and Chair of Formal Methods Europe. He holds a readership at Newcastle University, UK. His...