Wiebe van der Hoek - PhD Students
Wiebe van der Hoek - PhD Students
I am currently (co-) supervising the following PhD's:
-
Ji Ruan who is interested in Dynamic Epistemic Logic (with Michael Wooldridge).
-
Omar Bacqueiro (with Peter McBurney)
Finished theses:
-
Dirk Walther,
Strategic Logics: Completeness and Expressitivity, April 2007, Liverpool, UK (advisor).
-
Mark Roberts,
Social Laws for Multi-Agent Systems, March 28, Liverpool, UK (second supervisor).
-
Nivea de Carvalho Ferreira,
Programming Uncertain Agents, April 2006, Liverpool, UK (second supervisor).
-
Sieuwert van Otterloo,
A Strategic Analysis of Multi-Agent Protocols
25 November 2005, Liverpool, UK (first supervisor).
-
Paul Harrenstein,
Logic in Conflict, 6 September 2004, Utrecht, the
Netherlands (promotor).
-
Wojchiech Jamroga,
Using Multiple Models of Reality: On Agents who
Know how to Play Safer,
Universiteit Twente, 1 July 2004 (co-promotor).
-
Wieke de Vries,
Agent Interaction:
Abstract Approaches to Modelling, Programming and Verifying Multi-Agent Systems. 1998 - 2002, Utrecht University,
daily supervisor and co-promoter.
-
Koen Hindriks,
Agent Programming Languages.
1996 -- 2000, Utrecht University, daily supervisor and co-promoter.
-
Rogier van Eijk,
Programming Languages for Agent Communication,
1996 -- 2000, Utrecht University, daily supervisor and co-promoter.
-
Bernd van Linder,
Modal Logics for Rational Agents,
1992 -- 1996, Utrecht University, daily supervisor and co-promoter.
I was an examinor for:
-
Nicolas Troquard, Independent agents in
branching time: towards a uniform framework for reasoning about
multiagent systems, IRIT, Toulouse, France, 20 July 2007
-
Hykel Hosni, Rationality as Conformity, School of Mathematics, University of Manchester, 22 June 2005 (external examiner).
-
Sebastian Sardina, Deliberation in Agent Programming Languages, University of Toronto, Canada, 6 May 2005 (external examiner).
-
David Gabelaia, Topological, Algebraic and
Spatio-Temporal Semantics
for Multi-Dimensional Modal Logics, King's College,
London, UK, 6 January 2005 (external examiner).
-
Oliver Kutz, e-Connections and Logics of Distance,
Liverpool, UK, 15 June 2004. Internal examiner.
-
Mark Tuyls, Learning in Multi-Agent Systems,
Brussels, Belgium, 8 March 2004. External examiner.
-
Mari Carmen
Fernández,
Efficient Control of Temporal Reasoning,
27 November 2003, The University of Liverpool.
Internal Examiner.
-
B. Kooi,
Knowledge, Chanche and Change,
5 September, 2003, Rijks Universiteit Groningen, The Netherlands. Member of the reading committee and of the opposition.
-
J. Broersen,
Modal Action Logics for Reasoning about
Reactive Systems,
25 February, 2003, Free University, Amsterdam.
Member of the reading committee and of the opposition.
-
A. Tamminga,
Belief Dynamics. (Epistemo-)logical
Investigations.
November 13, 2001, Department of Philosophy,
University of Amsterdam, The Netherlands. I was in
the reading committee for this thesis, and member of the opposition.
-
J. Cantwell,
Non-Linear Belief Revision, Foundations and
Applications
December 7, 2000, Uppsala, Sweden. I was the
external reviewer for this thesis.
-
H. van Ditmarsch,
Knowledge Games,
Groningen, November 2000.
I was invited to ask a question `from the audience'.
-
M. Alvarado,
An Approach to Knowledge and Belief using Strong Kleene
Logic,
Barcelona, July 1998. I was external reviewer.
-
M. Wieczorek,
Locative Temporal Logic and Real Time Distributed Systems,
Katholic University, Nijmegen, 1994. Member of the opposition.
-
P.A. Spruit,
Logics of Update Semantics,
1994, VU Amsterdam. Member of the opposition.
-
G.A.W. Vreeswijk,
Studies in Defeasible Argumentation,
1993, VU Amsterdam. Member of the opposition.
(co-) supervised Master Students:
-
Geert Jonker,
Feasible Strategies in Altnerating Time
Liverpool University and Utrecht University,
September 2003.
-
Radek Merkx,
Agent Programming using Declarative and Procedural Goals,
Utrecht University, 28 August, 2003.
-
Birna van Riemsdijk,
Agent Programming in Dribble:
from beliefs to goals with plans
Utrecht University, 2002.
-
Huib Aldewereld,
Rational Teams: Logical
Aspects of Multi-Agent Systems,
Utrecht University, 2002.
- Martin Broere,
A Modal Logic of Authentication --
Epistemic actions in cryptographic protocols
Utrecht University, 2002.
-
Erwin Jansen,
An Economy Based Multi Agent
System
Utrecht University, 2002 (I was reviewer).
-
Ronald Loef,
An Agent Search Agent for the Brandmanager: the ISAB
Utrecht University, 2002.
-
Nesria Agray,
The BAN Approach to Formal Verification:
Authentication in GSM and SET
Utrecht University and KPN Research, Leidschendam 2001.
-
Geert Hoekstra,
Learning and Communicating
in RoboCup
Joint project with UvA, Amsterdam, 2001.
-
Steven Anker,
A Component-Based Framework for
Building Hybrid Agent Software,
Utrecht University, 2001.
-
Rogier Spaan en Jan Lubbers,
The Priority/Confidence
Model
University of Amsterdam (UvA), 2000 (I was reviewer/examinor.)
-
Cees-Bart
Breunesse,
The Logic of Soccer
Utrecht University, 2000.
-
Olivier Kerckhoff,
Ontwerpen van een Kennisbank
ter ondersteuning van de helpdesk,?I>
CKI, Utrecht, 2000.
-
Roald de Wit,
Multi-Agent Systems of Co-evolving Agents
KPN Research, Leidschendam en CKI, Utrecht, 1999.
-
Pieter Hofstra,
Realizability
CKII, Utrecht, 1999 (I was reviewer.)
-
Jan-Willem Roorda,
Belief Updates in Multiple Agent
Systems (small thesis for Mathematics,
Utrecht University, 1999.
-
Mathijs de Weerdt,
Specifying Uncertainty for Mobile Robots
Utrecht University, 1998.
-
Pieter-Bas Ijdens,
A Logical Approach to Database Updates
Utrecht University, 1997.
-
Ronald Streekstra,
Petit: Praktijk en Theorie in Agent
Technologie
Utrecht University, 1997.
-
Edwin Veenendaal,
Non-Monotonicity in the Feature
Interaction Problem,
Utrecht University, 1997.
-
Rogier van Eijk,
Theory Change---Some Operators and their
Properties
Utrecht University, 1996.
-
J.A. van Voorst,
A Comparison of Modal Resolution
Systems,
Utrecht University, 1994.