Michael Butler (informatyk)

Michael Butler
Michael Butler przemawia w British Computer Society w Londynie, 2015
Urodzić się	Irlandia
Narodowość	Irlandczyk
Alma Mater	Trinity College w Dublinie Wolfson College w Oksfordzie
Znany z	Metoda B
Kariera naukowa
Pola	Informatyka , inżynieria oprogramowania , metody formalne
Instytucje	Uniwersytet w Southampton
Praca dyplomowa	Podejście CSP do systemów działania (1992)
Doradca doktorski	Karola Morgana
Wpływy	Jean-Raymond Abrial , Ralph-Johan Back
Strona internetowa	www .ecs .soton .ac .uk /people /mjb

Michael J. Butler jest irlandzkim informatykiem. Od 2022 roku jest profesorem informatyki i dziekanem Wydziału Inżynierii i Nauk Fizycznych na Uniwersytecie w Southampton w Anglii.

Biografia

Butler urodził się w Irlandii . Uzyskał tytuł licencjata w dziedzinie informatyki w Trinity College w Dublinie w 1988 r. Następnie uzyskał tytuł magistra (1989) i doktora habilitowanego (1992) w Programming Research Group na Uniwersytecie Oksfordzkim , pracując w obszarze komunikacji procesów sekwencyjnych . Następnie pracował dla Broadcom w Dublinie oraz na Uniwersytecie Åbo Akademi w Turku w Finlandii z Ralphem-Johanem Backiem na rachunku wyrafinowania . Dołączył do University of Southampton w 1995 roku jako wykładowca, awansował na czytelnika w 2000 roku, a następnie profesora w tym samym roku. Kierował grupą Niezawodne systemy i inżynieria oprogramowania w Szkole Elektroniki i Informatyki Uniwersytetu w Southampton (nieaktywny od 2022 r.).

Jego główne badania dotyczą metody B (zapoczątkowanej przez J.-R. Abriala), zwłaszcza wsparcia narzędziowego, takiego jak ProB (zaawansowane sprawdzanie modelu dla B, które pozwala na symulację maszyn Event-B w Rodin/Eclipse platform), U2B ( UML i B), csp2B (CSP i B) oraz zestaw narzędzi RODIN dla Event-B .

Linki zewnętrzne

• Strona główna
• Oficjalna strona internetowa uczelni
• profilu Google Scholar