Ron van der Meyden


[PHOTO: Ron van der Meyden]
Office K17 217G
Phone +61 2 9385 6922 (Internal: x56922)
Email meyden AT
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.