Tim Denvir

Tim Denvir (nacido en 1939) es un ingeniero de software británico , especializado en métodos formales . ^{[ 1 ]}

Denvir estudió Matemáticas en el Trinity College de Cambridge entre 1959 y 1962. ^{[ 2 ]}

Antes de graduarse, entre 1958 y 1959, Tim Denvir fue asistente de ingeniería en Texas Instruments , donde diseñaba, construía y probaba circuitos electrónicos con semiconductores discretos. Tras graduarse, entre 1962 y 1965, trabajó como programador de sistemas en Elliott Brothers , programando sistemas operativos y controladores de dispositivos . Entre 1965 y 1969, fue programador de sistemas en el Servicio de Computación Atlas de la Universidad de Londres , donde se dedicó a la programación de sistemas para el ordenador Atlas y al diseño de compiladores . Entre 1969 y 1971, fue jefe de proyecto en RADICS, trabajando en los compiladores ALGOL 60. ^{[ 3 ]}

Durante 1971-1972, Denvir fue oficial técnico principal en International Computers Limited (ICL), donde trabajó en la unificación del diseño de compiladores para la serie 2900 de computadoras centrales ICL . Entre 1972 y 1986, fue gerente de departamento y, a partir de 1980, ingeniero jefe de investigación en Standard Telecommunication Laboratories (STL), donde se dedicó a la gestión de proyectos , la formación técnica y la investigación. Ganó el Premio a la Creatividad de STL. Entre 1986 y 1991, fue consultor sénior/principal en Praxis Systems plc, cedido durante parte del tiempo a la División de Tecnologías de la Información del Departamento de Comercio e Industria (DTI) del Gobierno del Reino Unido. Entre 1991 y 2003, fue director de Translimina Ltd. ^{[ 2 ]}

En el ámbito académico, entre 1988 y 1989, Denvir fue profesor asociado en la Universidad de Brunel , donde impartió clases de métodos formales . Entre 1992 y 1994, fue profesor visitante honorario en la City University de Londres , donde desarrolló e impartió un curso sobre semántica denotacional . ^{[ 2 ]}

Denvir fue miembro del consejo editorial de la revista Formal Aspects of Computing (1989-2003) y de la serie de libros Springer FACIT. Fue miembro del Comité de Estandarización del Método de Desarrollo de Viena (VDM) BSI IST/51-119 . Fue secretario de VDM Europe (1986-1988 y 1991) y presidente del Grupo de Especialistas FACS (1993-1995). Más recientemente, ha sido editor de la publicación asociada FACS FACTS . ^{[ 4 ]}

Tim Denvir ha escrito/editado/traducido varios libros, entre ellos: ^{[ 5 ]}

• Análisis de sistemas concurrentes ( Springer , Lecture Notes in Computer Science 207, 1985, ISBN) 3-540-16047-7), coeditado con WT Harwood, MI Jackson y MJ Wray
• Introducción a las matemáticas discretas para la ingeniería de software ( Macmillan , Computer Science Series, 1986, ISBN) 978-0333407370)
• Aspectos formales de la medición (Springer, Workshops in Computing, 1991, ISBN) 978-3540197881), coeditado con Rosalind Herman y Robin Whitty
• 5.º Taller de Refinamiento (Springer, Workshops in Computing, 1992, ISBN) 978-3540197522), coeditado con Cliff B. Jones y Roger C. Shaw
• FM'94: Beneficios industriales de los métodos formales (Springer, Lecture Notes in Computer Science, 1994, ISBN) 978-3-540-58555-8, doi : 10.1007/3-540-58555-9 ), coeditado con Maurice Naftalin y Miquel Bertran
• Carl Adam Petri : Vida y ciencia (Springer, 2015, ISBN) 978-3662480922), de Einar Smith, traducido al inglés por el autor y Tim Denvir

Tim Denvir ha sido un entusiasta excursionista y "completó" (en la jerga del Club de Montañismo Escocés ) los 282 Munros (las montañas escocesas de más de 3000 pies) en 2011, convirtiéndose en el Munroista número 4855. ^{[ 6 ]}

• Tim Denvir en LinkedIn
• Tim Denvir en el servidor de bibliografía DBLP