Тим Денвер
Б. Тим Денвер | |
|---|---|
| Рожденный | 1939 |
| Гражданство | Британский |
| Альма-матер | Тринити-колледж, Кембридж |
| Известный | Программная инженерия , формальные методы |
| Награды | STL за творчество Премия |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Texas Instruments , Братья Эллиотт , Лондонский университет , ICL , STL , Praxis , Университет Брунеля , Городской университет |
Тим Денвир (род. 1939) — британский инженер-программист , специализирующийся на формальных методах . [ 1 ]
Денвир получил степень по математике в Тринити-колледже в Кембридже в 1959–1962 годах. [ 2 ]
До получения ученой степени, в 1958–1959 годах, Тим Денвир работал помощником инженера в компании Texas Instruments , занимаясь проектированием, созданием и тестированием электронных схем с использованием дискретных полупроводников. После получения ученой степени в 1962–1965 годах он работал системным программистом в компании Elliott Brothers , программируя операционные системы и драйверы устройств . В 1965–1969 годах он работал системным программистом в вычислительной службе Атласа Лондонского университета , занимаясь системным программированием для компьютера Атлас и проектированием компиляторов . В 1969–1971 годах он был менеджером проекта в RADICS, работая над компиляторами ALGOL 60 . [ 3 ]
В 1971–1972 годах Денвир был главным техническим директором в компании International Computers Limited (ICL), работая над унификацией конструкции компилятора для ICL 2900 серии мэйнфреймов . В 1972–1986 годах он был руководителем отдела, а затем с 1980 года главным инженером-исследователем в Standard Telecommunication Laboratories (STL), занимаясь управлением проектами , техническим образованием и исследованиями. Он выиграл премию STL Creativity Award. В 1986–1991 годах он был старшим/главным консультантом в компании Praxis Systems plc, временно прикомандированным к отделу информационных технологий Министерства торговли и промышленности Великобритании (DTI). В 1991–2003 годах — директор ООО «Транслимина». [ 2 ]
В академическом плане в 1988–1989 годах Денвир был младшим преподавателем в Университете Брунеля , преподавая формальные методы . В 1992–1994 годах он был почётным приглашенным профессором Городского университета в Лондоне , где разработал и читал курс по денотационной семантике . [ 2 ]
Денвир был членом редакционной коллегии журнала « Формальные аспекты вычислений» (1989–2003) и серии книг Springer FACIT. Он был членом комитета по стандартизации BSI IST/51-119 Венского метода разработки (VDM). Он был секретарем VDM Europe (1986–88 и 1991 годы) и председателем группы специалистов FACS (1993–1995 годы). Совсем недавно он был редактором связанного с ним журнала FACS FACTS . [ 4 ]
Тим Денвир является автором, редактором и переводом ряда книг, в том числе: [ 5 ]
- Анализ параллельных систем (Спрингер, Конспект лекций по информатике 207, 1985, ISBN 3-540-16047-7 ), под редакцией совместно с WT Harwood, MI Jackson и MJ Wray.
- Введение в дискретную математику для разработки программного обеспечения ( Macmillan , серия Computer Science, 1986, ISBN 978-0333407370 )
- Формальные аспекты измерения (Спрингер, Семинары по вычислительной технике, 1991, ISBN 978-3540197881 ), под редакцией Розалинд Херман и Робин Уитти.
- 5-й семинар по усовершенствованию (Спрингер, Семинары по вычислительной технике, 1992 г., ISBN 978-3540197522 ), под редакцией Клиффа Б. Джонса и Роджера К. Шоу.
- FM'94: Промышленная польза формальных методов (Спрингер, Конспект лекций по информатике , 1994, ISBN 978-3-540-58555-8 , doi : 10.1007/3-540-58555-9 ), под редакцией Мориса Нафталина и Микеля Бертрана.
- Карл Адам Петри : Жизнь и наука (Springer, 2015, ISBN 978-3662480922 ), Эйнара Смита, переведен на английский автором и Тимом Денвиром.
Интересы
[ редактировать ]Тим был страстным любителем походов по холмам и «прошел» (на языке Шотландского альпинистского клуба ) все 282 Мунроса (шотландские холмы высотой более 3000 футов) в 2011 году, став Мунройстом под номером 4855. [ 6 ]
Ссылки
[ редактировать ]- ^ Денвир, Тим (1 марта 2017 г.). «Пятьдесят лет формальных методов в разработке программного обеспечения: личный взгляд» . Ютуб . БКС-ФАКС . Проверено 28 февраля 2021 г.
- ^ Перейти обратно: а б с Денвер, Тим (2020). «Биографическая справка» (PDF) .
- ^ Денвир, Тим; Астарта, Троя (3 декабря 2020 г.). «Алгол 60@60» . Ютуб . БКС-ФАКС . Проверено 28 февраля 2021 г.
- ^ «ФАКС: Информационные бюллетени» . БКС . Проверено 28 февраля 2021 г.
- ^ «Книги Тима Денвира» . Amazon.co.uk . Амазонка . Проверено 28 февраля 2021 г.
- ^ «Тим Денвир» . Шотландский альпинистский клуб . Проверено 30 января 2024 г.
Внешние ссылки
[ редактировать ]- Тим Денвер в LinkedIn
- Тим Денвир на DBLP библиографическом сервере
