Christopher Strachey

Christopher Strachey

male, deceased (1975)
operation code, Automatic Computing Engine, Pilot ACE, National Physical Laboratory, draughts, harrow school…C programming language, programming language, ProgrammingResearchGroup, Combined Programming Language, Optimum programming
Christopher Strachey (1916-1975) was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in...
He Jifeng

He Jifeng

male
computer scientist, ProgrammingResearchGroup, Tony Hoare, formal, unifying theories of programming, Member of the Chinese Academy of Sciences
He Jifeng is a Chinese computer scientist. He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University...
Jean-Raymond Abrial

Jean-Raymond Abrial

male, 71 years old
professor, computer scientist, French, Member of Oxford University Computing Laboratory, eth zurich, Z notation…ProgrammingResearchGroup
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. J.-R. Abrial is the originator of the Z...
Peter Mosses

Peter Mosses

male
Oxford University, operational semantics, Formal methods, Alumni of Wolfson College, Oxford, Academic of Swansea University, ProgrammingResearchGroup
Peter D. Mosses is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to...
Joe Stoy

Joe Stoy

male
Oxford University, ProgrammingResearchGroup, Oxford University Computing Laboratory, Formal methods, denotational semantics, Balliol College, Oxford
Joe Stoy is a British computer scientist, although he originally studied physics at Oxford University. Early in his career, he worked on...

Michael J. Butler

male
MSc, Trinity College, Dublin, Alumni of Trinity College, Dublin, Formal methods, Academic of the University of Southampton, Communicating sequential processes…ProgrammingResearchGroup
Michael J. Butler is Professor of Computer Science at the University of Southampton, UK. Butler was originally from Ireland and received his...
Gregory D. Abowd

Gregory D. Abowd

male
University of Notre Dame, Georgia Institute of Technology, computer science department, Carnegie Mellon University, Georgia Tech, research associate…Postdoctoral Research Associate, ProgrammingResearchGroup, FCE Group, Human-Computer Interaction Group
Gregory D. Abowd (pronounced AY-bowd) is the Distinguished Professor of Interactive Computing in the College of Computing at Georgia Tech . His...

Tim Clement

male
lecturer, Manchester University, Principal Consultant, Jesus College, Adelard, Linacre College…ProgrammingResearchGroup
Tim Clement Position: Principal Consultant Tim Clement followed an MA in Natural Sciences (Physics) at Jesus College, Oxford with a DPhil in the...

Zhou Chaochen

Oxford University, prg, Principal Research Fellow, IFAD, ProgrammingResearchGroup, IIST
Prof. Zhou Chaochen, UNU/IIST Principal Research Fellow, is currently on a special leave of absence without pay at ID/DTU. PRG: Programming...