Steve Reeves (počítačový vědec) - Steve Reeves (computer scientist)
Steve Reeves | |
|---|---|
| narozený | 31. října 1957 (stáří63) |
| Národnost | britský |
| Alma mater | University of Birmingham |
| Vědecká kariéra | |
| Pole | Počítačová věda, softwarové inženýrství, formální metody |
| Instituce | University of Waikato, University of Essex, Queen Mary, University of London |
Steve Reeves je počítačový vědec se sídlem v University of Waikato v Nový Zéland.[1] Je proděkanem a koordinátorem programu Softwarové inženýrství.[2] Provedl výzkumné práce na Z notace, formální metody pro GUI design a obecná teorie upřesnění.
Akademická práce Steva Reevese je v oblasti formální metody pomoci softwarové inženýrství. Zejména se věnoval výzkumu designu a použití logiky pro specifikaci. S Prof. Martin Henson, studoval formální sémantiku Z notace podrobně,[3] ve vztahu k mezinárodnímu ISO standard pro Z.[4]
Nedávno zahájil práci (původně s kolegy z Data 61 ) o použití pro blockchain. Nechal si udělit počáteční grant od Nový Zéland Fond Věda pro technologické inovace SfTI.
Reeves přednášel rozhovory na mezinárodní úrovni, mimo jiné i jako úvodní přednáška v EU BCS-FACS cyklus seminářů na Britská počítačová společnost v Londýn v roce 2005.[5]
Steve Reeves je v současné době předsedou Z skupina uživatelů a novozélandský člen Australasian Conference Software Engineering Conference (ASWEC ) Řídící výbor a konference o asijsko-pacifickém softwarovém inženýrství (APSEC), která se konala na Waikato v prosinci 2016 [1].On je členem Britská počítačová společnost, člen Institut IT profesionálů (dříve Novozélandská počítačová společnost ) a je autorizovaným IT profesionálem (CITPNZ ).
Reeves publikoval řadu akademických prací.[6]
Reference
- ^ Steve Reeves osobní webová stránka, Ústav výpočetní techniky, University of Waikato, Nový Zéland.
- ^ Lidé: Počítačová věda, Katedra počítačů, University of Waikato, Nový Zéland.
- ^ Martin Henson, Standardní logika Z je nekonzistentní, Formální aspekty práce na počítači, Svazek 10, číslo 3, 243–247, 1998. doi:10,1007 / s001650050014.
- ^ Informační technologie - Z Formální specifikace - syntaxe, typový systém a sémantika, ISO / IEC 13568: 2002, ISO, 2002.
- ^ Minulé události: 2005, BCS-FACS, SPOJENÉ KRÁLOVSTVÍ.
- ^ Steve Reeves, Scientific Commons.
externí odkazy
- Steve Reeves domovská stránka
- Steve Reeves publikace indexované podle Google Scholar
- Steve Reeves v DBLP Bibliografický server
- Seznam publikací z Microsoft Academic
