Scheduled Maintenance Notice

Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.

Researcher

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 languages

SEO 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

Location

Engineering
Building K17 room 217G

Contact

+61 2 9385 6922
55995

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0002-9243-0571

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation