Scholar
Ron van der Meyden
Google Scholar ID: gIO3pCgAAAAJ
Professor, School of Computer Science and Engineering, The University of New South Wales
Citations & Impact
Citations
713
H-index
12
i10-index
18
Publications
20
Co-authors
34
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Honors:
- - ACM Distinguished Scientist, 2009
- Publications (sorted by type and topic)
- Software:
- - MCK, a model checker for the logic of knowledge
- Grants:
- - Australia's Economic Accelerator Grant: Development of a Commercial Version of a Software Model Checker, 2024/25.
- - AFOSR/DST Australia Autonomy Initiative grant, 2020-2021: Verification and Synthesis of Fault-Tolerant Autonomous Systems (with J.Y. Halpern, Cornell)
- - US Air Force, Asia Office of Aerospace Research and Development grant 2015/16: Independence-based Optimization of Epistemic Model Checking
- - ARC Discovery Grant 2012-2014, Symbolic synthesis of knowledge-based program implementations (with Kaile Su)
- - ARC Discovery Grant 2010-2012, A formal foundation for security architecture (with Kai Engelhardt)
- - US Air Force, Asia Office of Research and Development grant 2009/10: Security Protocol Optimization and Verification by Epistemic Model Checking
- - ARC Linkage grant 2008-2010: Model Checking Knowledge and Probability in Pursuit-Evasion Scenarios (with Defence R & D Canada)
- - ARC Discovery Grant 2004-2007: Refinement of Temporal and Epistemic Specifications in Asynchronous Systems (with Kai Engelhardt)
- - ARC Discovery Grant 2001-2003: Model Checking Logics of Knowledge and Belief
- - ARC Small Grant 2000: Compositional Abstraction for model checking distributed systems designs using the logic of knowledge and time. (with Kai Engelhardt)
- - ARC Large Grant 2000-2002: Proof Theory for Extensions of Temporal Logic (with Mark Reynolds, Murdoch)
- - UTS Internal Research Grant, 1998: Logics of Belief for Cryptographic Protocol Analysis
- - ARC Large Grant 1997-1999: Knowledge-Based Programming of Distributed Systems: From Specification to Implementation
- - UTS Large Internal Research Grant 1996: Computational Analysis of Knowledge Theory for Distributed Systems Design and Analysis
Research Experience
- Current research projects include:
- - Can SAFE contracts be smart? An extended case study in financial smart contracts.
- - Lex Leinbniz, a declarative smart contract language designed for verifiability of correctness and security.
- - Fault Tolerant Autonomy, concerned with verification and synthesis of consensus protocols using the epistemic model checker MCK.
Background
- Research interests include blockchain, smart contracts, and cryptocurrencies. Currently a Professor at the School of Computer Science and Engineering, University of New South Wales.
Miscellany
- Current Activities:
- - Teaching a new course: COMP6451 Cryptocurrency and Distributed Ledger Technologies
- - Coordinating the UNSW Interest Group in Blockchain, Smart Contracts and Cryptocurrency
- - Organising the UNSW Seminar Series on Blockchain, Smart Contracts and Cryptocurrencies
