Steve Reeves (cientista da computação) - Steve Reeves (computer scientist)

Steve Reeves é um cientista da computação baseada na Universidade de Waikato na Nova Zelândia . Ele é o Dean Associado e do Programa Coordenador da Engenharia de Software . Ele tem realizado trabalho de investigação sobre a notação Z , métodos formais para GUI design e uma teoria geral de refinamento .

Trabalho acadêmico Steve Reeves' está na área de métodos formais para ajudar a engenharia de software . Em particular, ele tem realizado investigação sobre a concepção e utilização de lógicas para especificação. Com o Prof. Martin Henson , ele estudou os semântica formal da notação Z em detalhe, em relação ao internacional ISO padrão para Z.

Ele iniciou recentemente o trabalho (inicialmente com colegas de Data61 ) em usos para blockchain . Ele teve uma doação de sementes concedido pela Nova Zelândia Ciência para fundo de Inovação Tecnológica SFTI .

Reeves entregou palestras internacionalmente, inclusive como a palestra de abertura na BCS-FACS série de seminários na British Computer Society , em Londres , em 2005.

Steve Reeves é atualmente Presidente do Grupo de Usuários Z , eo membro da Nova Zelândia do Australasian Conferência de Engenharia de Software ( ASWEC Comissão) Steering e da Conferência de Engenharia de Software Ásia-Pacífico (APSEC), realizada no Waikato em dezembro 2016 [1] . Ele é membro da Sociedade Britânica de Computação , um companheiro do Instituto de Profissionais de TI (anteriormente a Nova Zelândia Computer Society ), e é um Chartered IT Professional ( CITPNZ ).

Reeves publicou uma série de trabalhos acadêmicos.

Referências

links externos

• home page Steve Reeves
• Steve Reeves publicações indexadas pelo Google Scholar
• Steve Reeves em DBLP Bibliografia Servidor
• Lista de publicações do Microsoft Academic