Cees Witteveen

Cees Witteveen is a full professor in Algorithmics at Delft University of Technology. The research fields he has been active in include inductive inference, non-monotonic reasoning, logic programming and theory revision.

Currently, his research interests concentrate on the design and evaluation of coordination algorithms in distributed systems with self-interested actors especially in planning and scheduling problems.

He published more than 150 refereed papers and journal articles in these fields.
He is project leader of more than 10 research projects on plan coordination in multi-agent systems, diagnosis, reconfiguration and routeplanning.

He is member of the board of the national Dutch AI association, member of the program board of the research school TRAIL, member of the research school SIKS, member of the program board for Computer Science of the Lorentz Center. He was also member of the European Network of Excellence on Planning (PLANET).

He was member of the 2001 national quality assessment committee on AI curricula and member of an international review committee of a Dutch research school. He has been program chair of several DGNMR and PLANSIG workshops and is PC member of several conferences and workshops in the AI-community (AAMAS, ECAI, EUMAS, PROMAS, CLIMA, PLANSIG, ECSQUARU, MATES, BNAIC).

Employment

Research interests

• Algorithmics
  • Coordination algorithms
  • Complexity theory,
  • Approximation techniques
  • Inductive Inference

• Logic
  • Finite model theory
  • Logic Programming
• Artifical Intelligence
  • Model-based diagnosis
  • Nonmonotonic reasoning
  • Knowledge Compilation

Past and Current Research Projects

Diagnostics and incident management techniques in transportation (1998- 2003)
FTAM DIOC programme
Funded by Delft University of Technology

IT-architecture and coordination in transportation networks with autonomous actors (1998 - 2003)
TNO-TRAIL programme
Funded by TNO
Research description

Fault detection and recovery in multimodal transportation networks with autonomous actors (2001 - 2005)
TNO-TRAIL programme
Funded by TNO
Research description

Distributed Model Based Diagnosis and Repair (2004 - 2008)
Funded by STW, 3 PhD's
Research description

Cybernetic Incident Management (2003 - 2007)
TSIT project,
Funded by Senter
Research description

Real-time optimization of motor-management systems (2006 - 2010)
TS project,
Funded by SenterNovem

Distributed Task coordination (2007 - 2011)
Casimir project,
Funded by SenterNovem

Service-based task coordination in Grids (2007 - 2011)
ICIS/ISA project, BSIK programme
Funded by Senter

Task coordination for non-cooperative agents (2007 - 2011)
NWO Open Competition programme
Funded by NWO, 2 PhD's

Hybrid Planning and scheduling (2006 - 2010)
Funded by DECIS Lab, Delft

Real-Time Motormanagement (2007 - 2011)
Funded by SenterNovem

SUPPORT (2010- 2013)
Funded by Agentschap NL/Provincie Zuid-Holland

Next Generation Infrastructures (2009-2012)
Funded by Agentschap NL

CARD: Cardinality constraint-based solver (2006- 2010)
Funded by NWO

Operational Scheduling (2010 - 2014)
Funded by NedTrain

Spectrum-based Diagnosis (2012 - 2016)
Funded by PARC

COMMIT/ METIS (2011 - 2015)
funded by Ministry of Economic Affairs

PowerWeb (2012 - 2016)
Funded by TUDelft, Alliander

Research Activities

• Editorships
  
  • Guest editor of Studia Logica, Special issue on Belief Revision (with W. van der Hoek)
  • Editor of the PlanSig 2002 proceedings (with T. Grant)
  • Editor of the DGNMR2001 proceedings (with T. Schaub and G. Brewka)
  • Editor of the DBNMR'99 proceedings (with H. Rott, C. Albert, G. Brewka)
  • Editor of the DGNMR'97 proceedings (with E. Weydert, G. Brewka)
  • Non-Monotonic Reasoning and Partial Semantics, Series in Artificial Intelligence, Chichester, (with W. van der Hoek, J.-J.Ch. Meyer, Y.H. Tan, 1992)

• Program committees and organisational activities
  
  • Co-chair of the PLANSIG2002 workshop on Planning and Scheduling, Delft, The Netherlands
  • PC member of the BNAIC'02, Leuven, Belgium
  • PC member of the ECSQUARU'03, Denmark
  • PC member of the BNAIC'03, Nijmegen, The Netherlands
  • PC-member of the PROMAS-2003, Australia
  • PC member of the CLIMA 2004, Florida, USA
  • PC member of the PROMAS-2004, New York, USA
  • PC member of the AAMAS-2004, New York, USA
  • PC member of the BNAIC'04, Groningen, The Netherlands
  • PC member of the AAMAS-2005, Utrecht, The Netherlands
  • PC member of the CLIMA 2005, London, Great-Britain
  • PC member of the PROMAS-2005, Utrecht, The Netherlands
  • PC member of the BNAIC'05, Brussels, Belgium
  • PC member of the EUMAS-2005, Brussels, Belgium
  • PC member of the CLIMA VII 2006, Hakodate, Japan,
  • PC member of the BNAIC 2006,
  • PC member of the CLIMA VIII 2007,
  • PC member of the BNAIC 2007,
  • PC member of the EUMAS 2007
  • PC member of the CLIMA IX 2008,
  • PC member of the BNAIC 2008,
  • PC member of the CLIMA X 2009,
  • PC member of the BNAIC 2009,
  • PC member of the EUMAS 2009
  • PC member of the CLIMA XI 2010,
  • PC member of the BNAIC 2010,
  • Co-chair of the MATES 2010 conference
  • PC member CARE 2010
  • Conference Area Chair of the ICIRA 2011,
  • PC member IJCAI 2011,
  • PC member of the EUMAS 2011,
  • PC member CARE 2011,
  • PC member CLIMA XII 2011,
  • Senior PC member of the AAMAS 2012,
  • PC member ICAART 2012,
  • PC member EUMAS 2012,
  • PC member BNAIC 2012,
  • PC member MBD 2012,
  • PC member MATES 2012,
  • PC member ECAI 2012,
  • Senior PC member of the AAMAS 2013,
  • PC member ICAART 2013,

Reviewing

• Mathematical Reviews
• Theoretical Computer Science
• Artificial Intelligence
• JAAMAS
• Journal of Logic and Computation
• NWO
• STW
• FWO
• FWF
• ERC

Memberships

• OzsL, ASCI, SIKS and TRAIL Dutch research schools
• European Network of Excellence in AI Planning PLANET
• VSNU quality assessment committee on AI curricula 2001
• 2002 international review committee for reaccreditation of the Nijmegen NICI research school
• program board for Computer Science of the Lorentz Center
• program board of the research school TRAIL
• board of the Belgian-Netherlands association for AI (treasurer)
• Scientific committee of the EECS department Delft University (VCWb)
• Dutch Society for Theoretical Computer Science