Ron van der Meyden

Professor

[PHOTO: Ron van der Meyden]
Office K17 217G
Phone +61 2 9385 6922 (Internal: x56922)
Email meyden AT cse.unsw.edu.au
Mail School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia
Personal Website Further details are in my Home Page

Research Areas

  • Theory of Computer Security
  • Logic in Computer Science
  • Logic of Knowledge and Belief
  • Temporal Logic
  • Theory of Distributed Systems
  • Formal Methods
  • Probabistic Models, Reasoning Under Uncertainty




Update your CSE Profile preferences in myCSE.