Carroll Morgan (počítačový vědec) - Carroll Morgan (computer scientist)
Charles Carroll Morgan | |
---|---|
narozený | 1952 (věk 67–68) |
Národnost | Spojené státy |
Vzdělání | Ph.D.; University of Sydney |
Známý jako | Formální metody |
Vědecká kariéra | |
Pole | Počítačová věda |
Instituce | Oxford University Computing Laboratory University of New South Wales |
Vlivy | Jean-Raymond Abrial |
webová stránka | www |
Charlesi Carrolle Morgan (narozen 1952) je Američan počítačový vědec kdo se přestěhoval do Austrálie v jeho raných dospívajících. Tam dokončil vzdělání (střední škola, univerzita, několik let v průmyslu), včetně a doktor filozofie (Ph.D.) titul z University of Sydney, a pak se přesunul do Spojené království na začátku 80. let. V roce 2000 se vrátil do Austrálie.
V osmdesátých a devadesátých letech Morgan sídlil v Oxford University Computing Laboratory v Anglie jako výzkumný pracovník a lektor působící v oblasti formální metody a člen Pembroke College. Poté, co byl ovlivněn Z notace z Jean-Raymond Abrial, napsal Programování ze specifikací jako pokus spojit aspekty specifikace Z na vysoké úrovni s přísnými počítačový program derivační metody Edsger W. Dijkstra. Jeho léčba se soustředila na konstrukci elementárních programů, aby byl materiál přístupný vysokoškoláci v jejich raných létech.[1] Některé z myšlenek tam byly později začleněny jako prvky B-metoda Abrial, když se Abrial vrátil v Oxfordu v druhé polovině 80. let.
Spolu s Annabelle McIver, Morgan později autorem Abstrakce, upřesnění a důkaz pro pravděpodobnostní systémy, ve kterých byla stejná témata sledována i pro pravděpodobnostní programy.[2]
Morgan je nyní profesor ve škole výpočetní techniky a inženýrství na University of New South Wales,[3] a Senior Principal Researcher ve společnosti Trustworthy Systems, part of CSIRO's Data61,[4] oba v Austrálii. Jeho hlavním výzkumným zájmem jsou pravděpodobnostní modely pro zabezpečení počítače a konkurence. Je známým zastáncem formalizovaného přístupu k vývoji programu zvaného kalkulátor upřesnění.[1] Je autorem mnoha článků.
Podílí se na vývoji mezinárodní standardy v programování a informatice jako aktivní člen několika Mezinárodní federace pro zpracování informací (IFIP) pracovní skupiny,[5] počítaje v to Pracovní skupina IFIP 2.1 o algoritmických jazycích a výpočtech,[6] který specifikováno, udržuje a podporuje programovací jazyky ALGOL 60 a ALGOL 68.[7]
Reference
- ^ A b Morgan, Carroll (1990–1998). Programování ze specifikací. International Series in Computer Science (2. vyd.). Prentice Hall. ISBN 978-0137262335. Citováno 4. října 2020.
- ^ McIver, Annabelle; Morgan, Charles Carroll (2005). Abstrakce, upřesnění a důkaz pro pravděpodobnostní systémy. Monografie v informatice. New York: Springer Nature. doi:10.1007 / b138392. ISBN 978-0-387-40115-7.
- ^ „Carroll Morgan, profesor, Aust. Profesionální kolega ARC“. Austrálie: University of New South Wales. Archivovány od originál dne 1. února 2014. Citováno 26. ledna 2014.
- ^ „Carroll Morgan, hlavní hlavní výzkumný pracovník, důvěryhodné systémy“. Austrálie.
- ^ „Software Design Group: Carroll Morgan“. USA: MIT. Archivovány od originál dne 18. června 2010. Citováno 20. června 2010.
- ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. srpna 2016). „Profil pracovní skupiny IFIP 2.1“. Foswiki. Citováno 4. října 2020.
- ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2. března 2011). „ScopeEtc: IFIP21: Foswiki“. Foswiki. Citováno 4. října 2020.
externí odkazy
- Oficiální webové stránky
- Carroll Morgan v DBLP Bibliografický server