My Expertise
Computer Security, Logic in Computer Science, Logic of Knowledge and Belief, Temporal Logic, Distributed Systems, Blockchain, Smart Contracts
Keywords
Fields of Research (FoR)
Theory of computation, Cybersecurity and privacy, Distributed systems and algorithms, Computational logic and formal languagesSEO tags
Biography
Professor Ron van der Meyden is from the School of Computer Science and Engineering. His research interests include:
- Computer Security
- Logic in Computer Science
- Logic of Knowledge and Belief
- Temporal Logic
- Distributed Systems
- Blockchain & Smart Contracts
He leads the UNSW Interest Group in Blockchain, Smart Contracts and Cryptocurrency
For further details and publications, see his personal webpage
Contact
+61 2 9385 6922
55995
Publications
by Professor Ron Van der Meyden
ORCID as entered in ROS
https://orcid.org/0000-0002-9243-0571