Steve Reeves es un informático de la Universidad de Waikato en Nueva Zelanda . [1] Es el Decano Asociado y el Coordinador del Programa de Ingeniería de Software . [2] Ha realizado trabajos de investigación sobre la notación Z , métodos formales para el diseño de GUI y una teoría general de refinamiento .
El trabajo académico de Steve Reeves se encuentra en el área de métodos formales para ayudar a la ingeniería de software . En particular, ha realizado investigaciones sobre el diseño y uso de lógicas para la especificación. Con el Prof. Martin Henson , ha estudiado en detalle la semántica formal de la notación Z , [3] en relación con el estándar internacional ISO para Z. [4]
Recientemente comenzó a trabajar (inicialmente con colegas de Data61 ) en los usos de blockchain . Ha obtenido una subvención semilla otorgada por el fondo SfTI de Ciencia para la Innovación Tecnológica de Nueva Zelanda .
Reeves ha dado charlas a nivel internacional, incluso como la charla de apertura en la serie de seminarios BCS-FACS en la British Computer Society en Londres en 2005. [5]
Steve Reeves es actualmente presidente del Grupo de Usuarios Z y miembro de Nueva Zelanda del Comité Directivo de la Conferencia de Ingeniería de Software de Australasia ( ASWEC ) y de la Conferencia de Ingeniería de Software de Asia-Pacífico (APSEC), celebrada en Waikato en diciembre de 2016 [1] . Es miembro de la Sociedad Británica de Informática , miembro del Instituto de Profesionales de TI (anteriormente la Sociedad de Informática de Nueva Zelanda ) y es un Profesional Titulado de TI ( CITPNZ ).