Ron van der Meyden

Professor
School of Computer Science and Engineering,
University of New South Wales
Sydney 2052,
Australia

email: last word of my name, at cse.unsw.edu.au
phone: +61 2 8306 0480
fax: +61 2 8306 0405

Snail Mail: Locked Bag 6016, The University of New South Wales, Sydney NSW 1466, Australia

Office Location: 223 Anzac Parade, Kensington, NSW 2052,
at L5 on the UNSW Kensington map.
(visitors: proceed to NICTA reception on Level 4)

NEW: Positions Available

Postdoc and programmers positions

Publications

Software

MCK a model checker for the logic of knowledge

Grants

UTS Large Internal Research Grant 1996: Computational Analysis of Knowledge Theory for Distributed Systems Design and Analysis
ARC Large Grant 1997-1999: Knowledge-Based Programming of Distributed Systems: From Specification to Implementation
UTS Internal Research Grant, 1998: Logics of Belief for Cryptographic Protocol Analysis
ARC Large Grant 2000-2002: Proof Theory for Extensions of Temporal Logic (with Mark Reynolds, Murdoch).
ARC Small Grant 2000: Compositional Abstraction for model checking distributed systems designs using the logic of knowledge and time. (with Kai Engelhardt)
ARC Discovery Grant 2001-2003: Model Checking Logics of Knowledge and Belief
ARC Discovery Grant 2004-2007: Refinement of Temporal and Epistemic Specifications in Aysnchronous Systems (with Kai Engelhardt)
ARC Linkage grant 2008-2010: Model Checking Knowledge and Probability in Pursuit-Evasion Scenarios (with Defence R & D Canada)

Research Centre Involvement

As Chair (2001-2003) of the Research Committee, School of Computer Science and Engineering, UNSW, I was a member of the teams (comprising multiple university, government and industry partners) that constructed successful bids for two major research centres:

Smart Internet CRC, which was awarded $22M of Federal funding in 2001, matched by partner cash and kind contributions to make up over $100M over 7 years. I was program leader of the CRC's Smart Personal Assistant research program for the first year of operation of the centre.
National ICT Australia, which was awarded $129M of Federal funding for 2002-2006 (since topped up with $250M for 2006-2011). I held the role of Program Leader of the NICTA Formal Methods program from NICTA's inception in 2002 to taking sabbatical leave July 2006-July 2007. Information about the program's activities is available here and from the following web pages:

I have also played a role in the Baker & McKenzie Cyberspace Law and Policy Centre @ UNSW, a research centre in the Law School at UNSW, as external representative on their management committee.

Invited/Keynote Addresses

DEON'02, Sixth International Workshop on Deontic Logic in Computer Science, Imperial College, London, UK, May, 2002
combined 10th international symposium on "Temporal Representation and Reasoning" and 4th International Conference on Temporal Logic (TIME-ICTL-2003), Cairns, Queensland, Australia July 8-10, 2003.
Agentlink/Colognet Symposium on Logic-based Agent Verification, Liverpool, July 2004
Workshop on Games and Knowledge, Liverpool, July 2004
First Indian Conference on Logic and its relationship to other disciplines, Mumbai, India, Jan 8-13, 2005.

Program Committee Memberships

Current:

International Workshop on Deontic Logic in Computer Science (DEON'08), Luxembourg 15-18 July, 2008, Program Co-chair
MODEL CHECKING and ARTIFICIAL INTELLIGENCE (MoChArt-2008), July 21-22 in Patras, Greece (with ECAI 2008).
WORKSHOP DYNAMICS IN LOGIC @ ESSLLI 2008 HAMBURG
The fifth International Workshop on Formal Aspects in Security and Trust (FAST2008)

Past PC memberships

Conference and Workshop Organisation

Tutorial Day on Logic of Knowledge, Aug, 1997
Workshop on Logic in Computer Science, Dec, 1998
Dagstuhl Workshop on Logics for Emerging Applications of Databases, July 2000
National ICT Australia, Inaugural Formal Methods Program Workshop, May 29-31, 2003

Education

UNSW Courses

COMP2411 Logic and Logic Programming (Session1, 2000)
Seminar on Cryptographic Approaches to Distributed Systems Security (Session 2, 2000 and 2002)
Logical Foundations of AI (Session 1 2003)
Cryptographic Approaches to Distributed Systems Security (Session 2, 2003)
Algorithmic Verification (Session 1 2004)
COMP3120/3121/9101 Algorithms (Session 2, 2007)
COMP3152/9152 Compararive Concurrency Semantics with focus on Reasoning about Knowledge (Session 1, 2008)

Summer School Courses

Algorithmic Verification for Epistemic Logic, a course taught at the North American Summer School on Logic Language and Information
Algorithmic Verification, a course taught at the Logic Summer School, ANU, Dec 2003

Research Students, Postdocs

Chenyi Zhang, PhD Student
Peter Gammie, PhD Student
Umberto Bonollo (Ph.D. student, University of Melbourne, cosupervisor with Liz Sonenberg)

Former Students, Postdocs

Peng Gao, Masters by Research
Manas Patra, Phd
Kai Engelhardt
Kaile Su, Zhongshan University, China, Aug 2001-Aug 2002.
Kai Baukus, Jul 2003 - Jul 2004

Visitors

Ramaswamy Ramanujam, Institute for Math Sciences, Madras, Dec 2000-Jan 2001.
Yoram Moses, Electrical Engineering, The Technion, Feb 7-23, 2000.
Rohit Parikh
Thomas Wilke