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
Seminar on Security Foundations
I am running a regular seminar on every Wednesday, 11am
on Security Foundations. See here for more details.
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:
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
Summer School Courses
Research Students, Postdocs
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