Byron Cook (informatyk)

dr Byrona Cooka
Narodowość	amerykański
Zawód	badacz informatyki
Znany z	Analiza zakończenia

Dr Byron Cook jest amerykańskim badaczem informatyki na University College London . Zainteresowania badawcze Byrona obejmują / weryfikację programów , języki programowania, dowodzenie twierdzeń , logikę, projektowanie sprzętu i systemy operacyjne . Ostatnie prace Byrona koncentrowały się na rozwoju automatycznych narzędzi do

• udowodnienie właściwości modeli biologicznych,
• Dowód wygaśnięcia i żywotności oraz
• Wykrywanie niezmienników dotyczących zmiennych struktur danych.

Nagrody i wyróżnienia

W 2009 roku Cook zdobył nagrodę Rogera Needhama . Jego wykład publiczny dotyczył „Udowodnienia, że ​​programy w końcu robią coś dobrego”.

Cook został wybrany na członka Królewskiej Akademii Inżynierów w 2019 roku.

Linki zewnętrzne

• http://www0.cs.ucl.ac.uk/staff/b.cook/