Cees Witteveen

Full Professor at the Algorithmics Group
Faculty of Engineering, Mathematics and Computer Science (EEMCS/EWI),
Delft University of Technology.

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

1974 - 1977Teaching assistant Statistics and Methodology,
Department of Psychology, Utrecht University.
1977 - 1985Assistant professor, Psychometrics, Statistics and
Modeling Group, Utrecht University.
1985 - 1998Assistant professor, Theoretical Computer Science,
Department of Mathematics and Computer Science,
Delft University of Technology.
1996 - 1997Visiting researcher, Intelligent Systems Group,
Department of Computer Science, Utrecht University.
1998 - 2006Associate professor Theoretical Computer Science,
Department of Electrical Engineering,
Mathematics and Computer Science, Delft University of Technology.
2004 - 2006Visiting researcher,Evolutionary Systems and
Applied Algorithmics Group,
National Research Center for Mathematics and
Computer Science (CWI), Amsterdam.
2006 -Full professor Algorithmics, Facultyt EEMCS,
Delft University of Technology.

 

 

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
Cees Witteveen

Prof.dr. C. Witteveen

Visiting Address
Building 28

Room:180 East 3rd floor
Van Mourik Broekmanweg 6
2628 XE Delft
The Netherlands

Mailing Address
EEMCS, Algorithmics
P.O. Box 5031, 2600 GA Delft
The Netherlands