Steve Reeves es un científico informático que trabaja en la Universidad de Waikato en Nueva Zelanda . [1] Ha ocupado diversos puestos como decano asociado, coordinador de programas y jefe del Departamento 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 , una teoría general del refinamiento y la lógica de la veracidad.
El trabajo académico de Steve Reeves se centra en el área de métodos formales para ayudar a la ingeniería de software . En particular, ha llevado a cabo investigaciones sobre el diseño y el uso de lógicas para la especificación. Con el profesor 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]
Ha trabajado (inicialmente con colegas de Data61) sobre usos de blockchain . Ha recibido dos subvenciones iniciales otorgadas por el fondo de Ciencia para la Innovación Tecnológica de Nueva Zelanda SfTI.
Más recientemente ha desarrollado una lógica para la veracidad, también bajo el esquema SfTI, pero esta vez como parte de un proyecto multiuniversitario de subvención Spearhead Veracity.
Reeves ha dado charlas a nivel internacional, incluida la charla inaugural del ciclo de seminarios BCS-FACS en la British Computer Society en Londres en 2005. [5]
Steve Reeves es actualmente presidente del (algo extinto) Z User Group y miembro neozelandés 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 y el Pacífico (APSEC), celebrada en Waikato en diciembre de 2016 [1]. Es miembro de la British Computer Society , miembro del Institute of IT Professionals (anteriormente New Zealand Computer Society ) y es un profesional de TI colegiado (CITPNZ).
Reeves ha publicado varios artículos académicos. [6]