Tim Denvir

B. Tim Denvir
Född 1939
Medborgarskap brittisk
Alma mater Trinity College, Cambridge
Känd för Mjukvaruteknik , formella metoder
Utmärkelser STL Creativity Award
Vetenskaplig karriär
Fält Datavetenskap
institutioner Texas Instruments , Elliott Brothers , University of London , ICL , STL , Praxis , Brunel University , City University

Tim Denvir (född 1939) är en brittisk mjukvaruingenjör , specialiserad på formella metoder .

Denvir studerade för en matematikexamen vid Trinity College, Cambridge under 1959–1962.

Före sin examen, under 1958–1959, var Tim Denvir ingenjörsassistent på Texas Instruments , designade, byggde och testade elektroniska kretsar med användning av diskreta halvledare. Efter sin examen, under 1962–1965, var han systemprogrammerare hos Elliott Brothers , som programmerade operativsystem och enhetsdrivrutiner . Under 1965–1969 arbetade han som systemprogrammerare vid University of London Atlas Computing Service, där han utförde systemprogrammering för Atlas dator- och kompilatordesign . Under 1969–1971 var han projektledare hos RADICS och arbetade med ALGOL 60- kompilatorer.

Under 1971–1972 var Denvir en teknisk chef vid International Computers Limited (ICL), som arbetade med att förena kompilatordesignen för ICL 2900-serien av stordatorer . Under 1972–1986 var han avdelningschef och sedan 1980 chefsingenjör vid Standard Telecommunication Laboratories (STL) och arbetade med projektledning , teknisk utbildning och forskning. Han vann STL Creativity Award. Under 1986–1991 var han senior/huvudkonsult på Praxis Systems plc, utstationerad under en del av tiden till informationsteknologiavdelningen vid UK Government Department of Trade and Industry ( DTI). Under 1991–2003 var han direktör för Translimina Ltd.

Akademiskt, under 1988–1989, var Denvir en Associate Reader vid Brunel University och undervisade i formella metoder . Under 1992–1994 var han hedersgästprofessor vid City University i London , där han utvecklade och levererade en kurs i denotationssemantik .

Denvir har varit medlem i redaktionen för tidskriften Formal Aspects of Computing (1989-2003) och Springer FACIT-bokserien. Han var medlem av BSI IST/51-119 Vienna Development Method (VDM) Standardization Committee. Han var sekreterare för VDM Europe (1986–88 & 1991) och ordförande för FACS Specialist Group (1993–1995). På senare tid har han varit redaktör för tillhörande FACS FACTS .

Tim Denvir har skrivit/redigerat/översatt ett antal böcker, inklusive:

  •   The Analysis of Concurrent Systems (Springer, Lecture Notes in Computer Science 207, 1985, ISBN 3-540-16047-7 ), samredigerad med WT Harwood, MI Jackson och MJ Wray
  •   Introduktion till diskret matematik för mjukvaruteknik ( Macmillan , Computer Science Series, 1986, ISBN 978-0333407370 )
  •   Formal Aspects of Measurement (Springer, Workshops in Computing, 1991, ISBN 978-3540197881 ), redigerad tillsammans med Rosalind Herman och Robin Whitty
  •   5th Refinement Workshop (Springer, Workshops in Computing, 1992, ISBN 978-3540197522 ), redigerad tillsammans med Cliff B. Jones och Roger C. Shaw
  •   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 ), redigerad tillsammans med Maurice Naftal och Miquel Bertran
  •   Carl Adam Petri : Life and Science (Springer, 2015, ISBN 978-3662480922 ), av Einar Smith, översatt till engelska av författaren och Tim Denvir

Intressen

Tim har varit en ivrig backe-vandrare och "fullbordade" (i språket Scottish Mountaineering Club ) alla 282 Munros , de skotska kullarna över 3 000 fot, 2011, och blev Munroist nummer 4 855 .

externa länkar

Hämtad från " https://en.wikipedia.org/w/index.php?title=Tim_Denvir&oldid=1083992681 "