Tima Denvira

B.Tim Denvir
Urodzić się	1939
Obywatelstwo	brytyjski
Alma Mater	Trinity College w Cambridge
Znany z	Inżynieria oprogramowania , metody formalne
Nagrody	Nagroda STL za kreatywność
Kariera naukowa
Pola	Informatyka
Instytucje	Texas Instruments , Elliott Brothers , University of London , ICL , STL , Praxis , Brunel University , City University

Tim Denvir (ur. 1939) to brytyjski inżynier oprogramowania , specjalizujący się w metodach formalnych .

Denvir studiował matematykę w Trinity College w Cambridge w latach 1959–1962.

Przed uzyskaniem dyplomu, w latach 1958-1959, Tim Denvir był asystentem inżyniera w Texas Instruments , projektując, budując i testując obwody elektroniczne z wykorzystaniem dyskretnych półprzewodników. Po ukończeniu studiów, w latach 1962-1965, był programistą systemów w Elliott Brothers , programując systemy operacyjne i sterowniki urządzeń . W latach 1965-1969 był programistą systemów na Uniwersytecie Londyńskim Atlas Computing Service, zajmując się programowaniem systemów dla komputera Atlas i projekt kompilatora . W latach 1969-1971 był kierownikiem projektu w RADICS, pracując nad kompilatorami ALGOL 60 .

W latach 1971–1972 Denvir był głównym oficerem technicznym w International Computers Limited (ICL), pracując nad ujednoliceniem projektu kompilatora dla komputerów typu mainframe z serii ICL 2900 . W latach 1972-1986 był kierownikiem działu, a następnie od 1980 głównym inżynierem badawczym w Standard Telecommunication Laboratories (STL), zajmując się zarządzaniem projektami , edukacją techniczną i badaniami. Zdobył nagrodę za kreatywność STL. W latach 1986-1991 był starszym/głównym konsultantem w Praxis Systems plc, oddelegowana na część etatu do Wydziału Technologii Informatycznych Departamentu Handlu i Przemysłu rządu Wielkiej Brytanii (DTI). W latach 1991-2003 był dyrektorem Translimina Sp.

Pod względem naukowym w latach 1988–1989 Denvir był wykładowcą na Uniwersytecie Brunel , ucząc metod formalnych . W latach 1992-1994 był honorowym profesorem wizytującym na City University w Londynie , gdzie opracował i prowadził kurs semantyki denotacyjnej .

Denvir był członkiem rady redakcyjnej czasopisma Formal Aspects of Computing (1989-2003) oraz serii książek Springer FACIT. Był członkiem BSI IST/51-119 Vienna Development Method (VDM). Był sekretarzem VDM Europe (1986–88 i 1991) oraz przewodniczącym Grupy Specjalistów FACS (1993–1995). Ostatnio był redaktorem stowarzyszonego FACS FACTS .

Tim Denvir jest autorem/redagowanym/przetłumaczonym wielu książek, w tym:

•   Analiza systemów współbieżnych (Springer, Lecture Notes in Computer Science 207, 1985, ISBN 3-540-16047-7 ), współredagowana z WT Harwoodem, MI Jacksonem i MJ Wrayem
•   Wprowadzenie do matematyki dyskretnej w inżynierii oprogramowania ( Macmillan , Computer Science Series, 1986, ISBN 978-0333407370 )
•   Formalne aspekty pomiaru (Springer, Workshops in Computing, 1991, ISBN 978-3540197881 ), współredagowane z Rosalind Herman i Robinem Whitty
•   5th Refinement Workshop (Springer, Workshops in Computing, 1992, ISBN 978-3540197522 ), współredagowany z Cliffem B. Jonesem i Rogerem C. Shawem
•   FM'94: Industrial Benefit of Formal Methods (Springer, Lecture Notes in Computer Science , 1994, ISBN 978-3-540-58555-8 , doi : 10.1007/3-540-58555-9 ), współredagowany z Maurice Naftalinem i Miquela Bertrana
•   Carl Adam Petri : Life and Science (Springer, 2015, ISBN 978-3662480922 ), autorstwa Einara Smitha, przetłumaczone na język angielski przez autora i Tima Denvira

Zainteresowania

Tim był zapalonym wędrowcem i „ukończył” (w żargonie Scottish Mountaineering Club ) wszystkie 282 Munros , szkockie wzgórza o wysokości ponad 3000 stóp, w 2011 roku, stając się Munroistą numer 4855 .

Linki zewnętrzne

• Tim Denvir na LinkedIn
• Tim Denvir z DBLP Bibliography Server