Tim Denvir

Tim Denvir (born 1939) is a British software engineer, specialising in formal methods.

Denvir studied for a Mathematics degree at Trinity College, Cambridge during 1959–1962.

Before his degree, during 1958–1959, Tim Denvir was an engineering assistant at Texas Instruments, designing, building, and testing electronic circuits using discrete semiconductors. After his degree, during 1962–1965, he was a systems programmer with Elliott Brothers, programming operating systems and device drivers. During 1965–1969, he was a systems programmer at the University of London Atlas Computing Service, undertaking systems programming for the Atlas computer and compiler design. During 1969–1971, he was a project manager with RADICS, working on ALGOL 60 compilers.

During 1971–1972, Denvir was a principal technical officer at International Computers Limited (ICL), working on unifying compiler design for the ICL 2900 Series of mainframe computers. During 1972–1986, he was a department manager and then, from 1980, chief research engineer at the Standard Telecommunication Laboratories (STL), working on project management, technical education, and research. He won the STL Creativity Award. During 1986–1991, he was a senior/principal consultant at Praxis Systems plc, seconded for part of the time to the Information Technology Division of the UK Government Department of Trade and Industry (DTI). During 1991–2003, he was Director of Translimina Ltd.

Tim Denvir has authored/edited/translated a number of books, including:

The Analysis of Concurrent Systems (Springer, Lecture Notes in Computer Science 207, 1985, ), co-edited with W. T. Harwood, M. I. Jackson, and M. J. Wray Introduction to Discrete Mathematics for Software Engineering (Macmillan, Computer Science Series, 1986, ) Formal Aspects of Measurement (Springer, Workshops in Computing, 1991, ), co-edited with Rosalind Herman and Robin Whitty 5th Refinement Workshop (Springer, Workshops in Computing, 1992, ), co-edited with Cliff B. Jones and Roger C. Shaw FM'94: Industrial Benefit of Formal Methods (Springer, Lecture Notes in Computer Science, 1994, , ), co-edited with Maurice Naftalin and Miquel Bertran Carl Adam Petri: Life and Science (Springer, 2015, ), by Einar Smith, translated into English by the author and Tim Denvir

Interests Tim Denvir has been a keen hill-walker and "compleated" (in the parlance of the Scottish Mountaineering Club) all of the 282 Munros (the Scottish hills over 3,000 feet) in 2011, becoming Munroist number 4,855.