Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Steve Reeves
conf.researchr.org general profile
APSEC 2025 profile
APSEC 2026 profile
ICSE 2026 profile
SPLASH 2022 profile
Registered user since Sun 4 Dec 2022
Name:
Steve Reeves
Country:
New Zealand
Affiliation:
University of Waikato
Contributions
2026
APSEC
Steering Committee Member in Steering Committee
FormaliSE
Author of Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm within the Research Track-track
2025
APSEC
Steering Committee Member in Steering Committee
2022
FTSCS
Author of Modelling a Blockchain for Smart Contract Verification using DeepSEA within the Formal Techniques for Safety-Critical Systems-track
SPLASH
Author of Provably Correct Smart Contracts: An Approach using DeepSEA within the Posters-track
Share
x
Sat 11 Jul 10:21