Steve Reeves (bilgisayar bilimcisi) - Steve Reeves (computer scientist)

Bu makale bilgisayar bilimcisi hakkındadır. Oyuncu için bkz. Steve Reeves (oyuncu).

Steve Reeves
Doğum31 Ekim 1957 (1957-10-31) (yaş63)
Brighton, İngiltere
Milliyetingiliz
gidilen okulBirmingham Üniversitesi
Bilimsel kariyer
AlanlarBilgisayar Bilimi, yazılım Mühendisliği, resmi yöntemler
KurumlarWaikato Üniversitesi, Essex Üniversitesi, Queen Mary, Londra Üniversitesi

Steve Reeves bir bilgisayar uzmanı dayalı Waikato Üniversitesi içinde Yeni Zelanda.[1] Dekan Yardımcısı ve Program Koordinatörüdür. Yazılım Mühendisliği.[2] Üzerinde araştırma çalışması yaptı. Z notasyonu, resmi yöntemler için GUI tasarım ve genel bir teori inceltme.

Steve Reeves'in akademik çalışmaları şu alanlardadır: resmi yöntemler yardım etmek yazılım Mühendisliği. Özellikle, spesifikasyon için mantıkların tasarımı ve kullanımı konusunda araştırmalar yapmıştır. Prof. Martin Henson, biçimsel anlambilimini inceledi. Z notasyonu detayda,[3] uluslararası ile ilgili olarak ISO Z için standart.[4]

Yakın zamanda çalışmaya başladı (başlangıçta Veri61 ) için kullanımlarda blok zinciri. Tarafından verilen bir tohum hibe aldı Yeni Zelanda Teknolojik İnovasyon fonu için Bilim SfTI.

Reeves, açılış konuşması da dahil olmak üzere uluslararası görüşmeler yaptı. BCS-FACS seminer dizisi İngiliz Bilgisayar Topluluğu içinde Londra 2005 yılında.[5]

Steve Reeves şu anda Z Kullanıcı Grubu ve Avustralya Yazılım Mühendisliği Konferansı'nın Yeni Zelanda üyesi (ASWEC ) Yürütme Komitesi ve Aralık 2016'da Waikato'da düzenlenen Asya-Pasifik Yazılım Mühendisliği Konferansı (APSEC) [1] O bir Fellow of the İngiliz Bilgisayar Topluluğu, bir Fellow of the BT Uzmanları Enstitüsü (eskiden Yeni Zelanda Bilgisayar Topluluğu ) ve Yetkili BT Uzmanıdır (CITPNZ ).

Reeves bir dizi akademik makale yayınladı.[6]

Referanslar

  1. ^ Steve Reeves Kişisel Web Sayfası, bilgisayar Bilimleri Bölümü, Waikato Üniversitesi, Yeni Zelanda.
  2. ^ İnsanlar: Bilgisayar Bilimleri, Bilgisayar Bilimleri Bölümü, Waikato Üniversitesi, Yeni Zelanda.
  3. ^ Martin Henson, Z'nin Standart Mantığı Tutarsız, Hesaplamanın Biçimsel Yönleri, Cilt 10, Sayı 3, 243–247, 1998. doi:10.1007 / s001650050014.
  4. ^ Bilgi Teknolojisi - Z Biçimsel Belirtim Gösterimi - Sözdizimi, Tür Sistemi ve Anlambilim, ISO / IEC 13568: 2002, ISO, 2002.
  5. ^ Geçmiş etkinlikler: 2005, BCS-FACS, İngiltere.
  6. ^ Steve Reeves, Scientific Commons.

Dış bağlantılar