Curriculum Vitae Prof dr J. N. Kok



Dovnload 71.62 Kb.
Datum18.08.2016
Grootte71.62 Kb.

Curriculum Vitae Prof. dr J.N. Kok



Joost Nico Kok was born February 18, 1961 in Naarden, the Netherlands.
Work address:
Leiden Institute of Advanced Computer Science (LIACS),
Leiden University,
Niels Bohrweg 1,
2333 CA Leiden,
The Netherlands.
Tel: +31 71 527 7057
Fax: + 31 71 527 6985
Email:

joost@liacs.nl

Homepage:

www.liacs.nl/home/joost

Education





  1. July 1982: BSc Mathematics, special subjects in Physics and Philosophy. (Kandidaatsexamen)

  2. August 1984: MSc Mathematics, special subjects in Computer Science and Artificial Intelligence. (Doctoraalexamen)

  3. May 1989: PhD Computer Science Free University Amsterdam, promotor prof. dr. J.W. de Bakker, referent prof. dr. M. Broy, title of thesis: Semantic Models for Parallel Computation in Data Flow, Logic- and Object-Oriented Programming.

Positions





  1. September 1984 - september 1986: Research Assistant at the Free University in Amsterdam in the Dutch National Project on Concurrency.

  2. October 1986 - september 1988: Scientific Collaborator at the Centre for Mathematics and Computer Science, Amsterdam. Esprit project 415: Parallel Languages for Advanced Information Processing.

  3. October 1988 - may 1994: Assistant Professor Semantics of Programming Languages, Utrecht University (August 1989 - december 1989 on leave).

  4. August 1989 - december 1989: Tf. Bitt. Professor i Informationsbehandling, Abo Akademi University, Turku, Finland.

  5. June 1994 - april 1995: Associate Professor in Neurocomputing, Utrecht University.

  6. May 1995 - :Full Professor in Fundamental Computer Science, Leiden University.

  7. May 2005 - :Full Professor in Medicine, Leiden University.

Main Research themes


My research is concentrated around the themes (scientific) data management, data mining, bioinformatics, algorithms.

Ph.D. theses supervised


  1. september 23, 1993: Peter Knijnenburg, UU, Utrecht, co-promotor

  2. september 15, 1995: Rob Udink, UU, Utrecht, promotor

  3. november 21, 1996: Marcello Bonsangue, VU, Amsterdam, promotor

  4. may 23, 1997: Bas Haring, UU, Utrecht, promotor

  5. march 18, 1999: Cees van Kemenade, UL, Leiden, promotor

  6. january 25, 2001: Mark Jelasity, UL, Leiden, promotor

  7. october 4, 2001: Maarten Lamers, UL, Leiden, promotor

  8. march 7, 2002: Michiel van Wezel, UL, Leiden, promotor

  9. may 8, 2002: Rob van Stee, UL, Leiden, promotor

  10. june 25, 2002: Daniel Tauritz, UL, Leiden, promotor

  11. november 28, 2002: Jano van Hemert, UL, Leiden, promotor

  12. march 5, 2003: Sander Bohte, UL, Leiden, promoter

  13. january 20, 2005: Erika Abraham, UL, Leiden, promotor

  14. september 14, 2005, Jeroen Eggemont, UL, Leiden, promotor

  15. april 4, 2006, Marcel Kyas, UL, Leiden, promotor

  16. may 15, 2006, Siegfried Nijssen, UL, Leiden, promotor

Current Ph.D. students


  1. Edgar de Graaf

  2. Jeroen de Bruin

  3. Peter van der Putten

  4. Eric-Wubbo Lameyer

  5. Elena Samsonova

  6. Jeroen Kazius

  7. Tim Cocx

  8. Joost Broekens

  9. Jeroen Laros

  10. Ayman Khedr

  11. Fabrice Colas

Current Academic duties


  1. Chair of the Dutch Theoretical Computer Science Association (NVTI)(2004-)

  2. Member Management Team Netherlands Bioinformatics Centre

  3. Board Member Centre for Mathematics and Computer Science Amsterdam (2005-)

  4. Member Advisory Committee Netherlands Organisation for Scientific research (NWO) Computer Science (2002-)

  5. Member Scientific Committee for ''Informatica en Kennistechnologie'', Research Foundation - Flanders (FWO), Belgium (2006 - )

  6. Board Member European Educational Forum

  7. Deputy director Leiden Center for Natural Computing

  8. Member Steering Committee Mining and Learning with Graphs Conference

  9. Co-chair Council of the Intelligent Data Analysis Conference (2004-)

  10. Board Member Research school ``Institute for Programming and Algorithms’’

  11. Member Advisory Council Research School ``Biotechnological Sciences Delft Leiden’’

  12. Docent Abo Akademi University, Finland

  13. Dutch representative International Federation for Information Processing (IFIP) Technical Committee 12: Artificial Intelligence

  14. External examiner Master of Computer Science, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur, Malaysia

  15. Member Scientific Committee Netherlands Bioinformatics Centre

  16. Member Scientific Committee research school Institute for Programming and Algorithms

  17. Member Scientific Committee (Facultaire Wetenschapscommissie), faculty of mathematics and natural sciences, Leiden University

  18. Chair ICT and Education Committee (Universitaire ICT en Onderwijs commissie), Leiden University.

  19. Head Algorithms cluster, Leiden Institute of Advanced Computer Science, Leiden University

  20. Head Foundations of Software Technology cluster, Leiden Institute of Advanced Computer Science, Leiden University

Past Academic duties


  1. Chair of the Dutch-Belgium Artificial Intelligence Society (BNVKI) (1997-2002)

  2. Advisor Centre for Mathematics and Computer Science (-2005)

  3. Member Beoordelingscommissie Informatica (BCI), NWO-E 1998-2001

  4. Member Beoordelingscommissie NWO-VENI 2001, 2002

  5. Member Dutch Foundation of Neural Networks

  6. Reviewer Ingenet Project European Union

  7. Member Steering Committee Data Mining, STT Netherlands Study Centre for Technology Trends.

  8. Board member of the Dutch-Belgium Artificial Intelligence Society (BNVKI) (1996-1997).

  9. Council member of the Intelligent Data Analysis Conference (1999-2004).

  10. Board Member of the Dutch Theoretical Computer Science Association (NVTI)(-2004).

  11. Member daily management committee Computer Science (dagelijks bestuur Informatica), Utrecht University 1988-1995)

  12. Member department council Mathematics and Computer Science (afdelingsbestuur Wiskunde en Informatica), Leiden University (1995-1997)

  13. Member management team Leiden Institute of Advanced Computer Science (1997-2007)

  14. Director of Education Computer Science Bachelor /Master / Doctoraal (Opleidingsdirecteur Informatica) (1997-2007)

  15. Director of Education Media Technology Master Program (Opleidingsdirecteur Mediatechnologie) (2003-2007)

  16. Director of Education ICT in Business Master Program (2003-2007)

  17. Member steering committee Lorentz Center, Leiden (- 2006)

  18. Member ICT and Education Committee, faculty of mathematics and natural sciences, Leiden University

  19. Supervisor Educational Tracks for companies CMG en TPG

  20. Chair education committee introduction five year curriculum Computer Science in the Netherlands (Llandelijke commissie invoering vijfjarig curriculum Informatica)

Editorial Boards


  1. Editor of Fundamenta Informaticae, IOS Press.

  2. Series Editor of the Natural Computing Series, Springer Verlag Berlin.

  3. Associate Editor of Natural Computing, Kluwer Academic Publishers.

  4. Editor of Theoretical Computer Science, Elsevier Science

  5. Editor in Chief of the Elsevier Science Virtual Journal of Natural Computing (- 2004).

  6. Editor of the Journal of Universal Computer Science.

  7. Editor of the Frontiers in Artificial Intelligence and Applications book series, IOS Press.

  8. Artificial Intelligence theme editor Encyclopedia Of Life Support Systems, Unesco.

Program Committees


  1. Member of program committee Engineering Aspects of Neural Networks (EANN), Helsinki, Finland, 1995.

  2. Member of program committee for the Dutch Artificial Intelligence Conference (NAIC), Utrecht, 1996.

  3. Member of program committee Nordic Workshop on Genetic Algorithms (NWGA), Vaasa, Finland, 1996.

  4. Member of program committee Nordic Workshop on Genetic Algorithms (NWGA), Vaasa, Finland, 1997.

  5. Member of program committee of the Seventh International Conference on Genetic Algorithms (ICGA), Ann Arbor, MI, July 19-23, 1997.

  6. Member of program committee of the School on NAtural Computation (SNAC), Turku, Finland, August 1997.

  7. Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Antwerp, November 1997.

  8. Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Amsterdam, November 1998.

  9. Member of program committee and organizing co-chair of the third International Conference on Coordination Models and Languages, Amsterdam, April 1999.

  10. Member of program committee for the Congress on Evolutionary Computation (CEC '99), Washington DC, USA, July 6-9, 1999.

  11. Program Chair of the Third Symposium on Intelligent Data Analysis (IDA-99), Amsterdam, The Netherlands, August 9-11, 1999.

  12. Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Maastricht, November 1999.

  13. Member of program committee of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2000), Berlin, Germany, March 2000.

  14. Member of program committee of the third International Conference on Coordination Models and Languages, Limassol, Cyprus, September 2000.

  15. Member of program committee of the Sixth International Conference on Parallel Problem Solving from Nature (PPSN VI), Paris, France, September 2000.

  16. Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Tilburg, November 2000.

  17. Member of the Scientific Committee of the European School on Intelligent Data Analysis, Palermo, Italy, March 2001.

  18. Member of program committee of the Second International Workshop on Agent-Oriented Software Engineering (AOSE-2001), Montreal, Canada, May 2001.

  19. Member of program committee of the 5th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'01), Freiburg, Germany, September 2001.

  20. Member of program committee for the Fourth Symposium on Intelligent Data Analysis (IDA-01), Lisbon, Portugal, September 2001.

  21. Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Amsterdam, November 2001.

  22. Member of program committee of the fifth International Conference on Coordination Models and Languages, York, UK, April 2002.

  23. Member 5th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'02), Helsinki, Finland, August 2002.

  24. Member of program committee of the First International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa 2002), Brno, Czech Republic, August 2002.

  25. Member of program committee of the Sixth International Conference on Parallel Problem Solving from Nature (PPSN VII), Granada, Spain, September 2002.

  26. Member of program committee of the Fifth Symposium on Intelligent Data Analysis (IDA-03), Berlin, Germany, September 2003.

  27. Member of program committee of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD’03), Cavtat, Croatia, 22-26 September 2003.

  28. Member of program committee of FOCLASA 2003, 2nd International Workshop on Foundations of Coordination Languages and Software Architectures, September 2, 2003.

  29. Member of program committee of the workshop on Graph transformation and Visual Modelling techniques (GT-VMT 04), Barcelona, Spain, March 27- April 4, 2004.

  30. Member of program committee of the 8th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD’04), Pisa, Italy, 2004.

  31. Member of program committee of FOCLASA 2004, Third International Workshop on Foundations of Coordination Languages and Software Architectures, August 30, 2004.

  32. Workshop Chair Second International Workshop on Mining Graphs, Trees and Sequences, Pisa, Italy, September 24, 2004

  33. Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Groningen, November 2004.

  34. Member of program committee for AISTA 2004 International Conference on Advances in Intelligent Systems - Theory and Applications, Luxemburg,, 15-18 november 2004.

  35. Member of program committee for ISoLA - 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus, 30 October – 2 November 2004.

  36. Member of program committee of the Seventh International Conference on Parallel Problem Solving from Nature (PPSN VII), Birmingham, UK, September 2004.

  37. Program Chair of the Sixth Symposium on Intelligent Data Analysis (IDA-05), Madrid, Spain, September 2005.

  38. Program Vice Chair 2005 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI/IAT 2005), September 2005, Compiègne, France.

  39. Member of program committee of the 15th Inductive Logic Programming Conference, August 2005, Bonn.

  40. Member of program committee of the 9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD’05), Porto, Portugal, 2005.

  41. Member of program committee of the 22nd International Conference on Machine Learning (ICML 2005) Bonn, Germany, 7-11 August, 2005.

  42. Member of program committee of the 9th Congress of the Italian Association for Artificial Intelligence (AI*IA 2005), Milano, Italy, 2005.

  43. Member of program committee of the 1st International Symposium on Computational Life Science, Konstanz, Germany, September 25 - 27, 2005

  44. Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Groningen, November 2005.

  45. Member of program committee for the 4th Workshop on Multi-Relational Data Mining, Chicago, August 2005.

  46. Member of program committee for the Third International Workshop on Mining Graphs, Trees and Sequences (MGTS), Porto, Portugal, October 2005

  47. Member of program committee for the 5th IEEE International Conference on Data Mining (ICDM 05), New Orleans, Louisiana, USA, 27-30 November 2005.

  48. Member of program committee for 2005 IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, Loyola College Graduate Center, Columbia, MD (USA), September 2005.

  49. Member of program committee for 2005 IPM International Symposium on Foundations of Software Engineering (FSEN 2005), Tehran, October 2005.

  50. Member of program committee for the Data Mining for Business Workshop, Porto, Portugal, October 2005.

  51. Member of program committee of the 23rd International Conference on Machine Learning (ICML 2006) Carnegie Mellon University in Pittsburgh, Pennsylvania, 25-29 June, 2006.

  52. Member of program committee of the 8th International Conference on Coordination Models and Languages, Bologna, Italy, 13-16 June, 2006.

  53. Member of program committee of the 9th International Conference on Parallel Problem Solving from Nature (PPSN IX), Reykjavik, Iceland, 9-13 September, 2006.

  54. Member of program committee for second IFIP AI 2006, Conference on Artificial Intelligence Santiago, Chile, 21-24 August, 2006.

  55. Member of program committee of the 16th International Symposium on Methodologies for Intelligent Systems (ISMIS 2006), Bari, Italy, 27-29 September, 2006.

  56. Member of program committee of the 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 28 August – 1 September, 2006.

  57. Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Liege, November 2006.

  58. Member of program committee of the 2nd International Symposium on Computational Life Science, Cambridge, Germany, September 27-29, 2006.

  59. Member of program committee of the ECML PKDD 2006 Workshop on Practical Data Mining: Applications, Experiences and Challenges, September 22, 2006

  60. Program Vice Chair of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, 18-22 December, 2006.

  61. Member of program committee of the 6th IEEE International Conference on Data Mining (ICDM 06), Hong Kong, 18-22 December, 2006.

  62. Member Program Committee Belgian-Dutch Benelearn Conference, May 14-15, Amsterdam, 2007

  63. Member Program Committee 2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN ‘07), April 17-19, Teheran, Iran, 2007

  64. Member Scientific Committee 2nd International Work-conference on the Interplay between Natural and Artificial Computation (IWINAC’07), June 18-21, La Manga del Mar Menor, Murcia, Spain, 2007.

  65. Member Program Committee 7th International Symposium on Intelligent Data Analysis (IDA’07), September 6-8, Ljubljana, Slovenia, 2007

  66. Program Chair of the 11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD’07), September 17-21, Warsaw, Poland, 2007.

PhD committees


  1. september 23, 1993: Peter Knijnenburg, UU, Utrecht

  2. may 17, 1995: Paulien ten Pas, UL, Leiden

  3. september 15, 1995: Rob Udink, UU, Utrecht

  4. october 5, 1995: Jan Heemskerk, UL, Leiden

  5. october 9, 1995: Vishnu Prasetya, UU, Utrecht

  6. september 29, 1995: Frans Rietman, UU, Utrecht

  7. january 12, 1996: Marc Lankhorst, RUG, Groningen

  8. february 14, 1996: Marc Andries, UL, Leiden

  9. may 29, 1996: Arjan Bik, UL, Leiden

  10. june 6, 1996: Danielle Turi, VU, Amsterdam

  11. june 21, 1996: Jan van den Berg, EUR, Rotterdam

  12. october 30, 1996: Iko Keesmaat, UL, Leiden

  13. november 21, 1996: Marcello Bonsangue, VU, Amsterdam

  14. february 4, 1997: Ben Juurlink, UL, Leiden

  15. march 5, 1997: Jules Vleugels, UU, Utrecht

  16. may 23, 1997: Bas Haring, UU, Utrecht

  17. june 6, 1997: Pim Kars, UT, Twente

  18. october 22, 1997: Monique van den Dries, UL, Leiden

  19. october 28, 1997: Peter Stehouwer, TUE, Eindhoven

  20. november 24, 1997: Roy Glasius, KUN, Nijmegen

  21. may 26, 1998: Ramze Razaee, UL, Leiden

  22. may 28, 1998: Michel Chaudron, UL, Leiden

  23. october 20, 1998: Aarnoud Hoekstra, TUD, Delft

  24. october 27, 1998: Robert van Engelen, UL, Leiden

  25. march 18, 1999: Cees van Kemenade, UL, Leiden

  26. may 18, 1999: Gertjan Kamsteeg, UL, Leiden

  27. may 31, 1999: Rene van Oostrum, UU, Utrecht

  28. june 4, 1999: Rob Potharst, EUR, Rotterdam

  29. february 19, 1999: Jukkapekka Hekanaho, Åbo Akademi University, Finland

  30. january 11, 2000: Guido te Brake, KUN, Nijmegen

  31. june 23, 2000: Edwin de Jong, VUB, Brussel, Belgium

  32. october 17, 2000: Erwin van Soest, UL, Leiden

  33. october 18, 2000: Rogier van Eijk, UU, Utrecht

  34. october 30, 2000: Ulrich Hanneman, UU, Utrecht

  35. january 25, 2001: Mark Jelasity, UL, Leiden

  36. february 21, 2001: Stephan ten Hagen, UVA, Amsterdam

  37. september 26, 2001: Jurriaan Hage, UL, Leiden

  38. october 25, 2001: Pieter Jan ‘t Hoen, UL, Leiden

  39. october 4, 2001: Maarten Lamers, UL, Leiden

  40. november 12, 2001: Alexander Ypma, TUD, Delft

  41. november 20, 2001: Fabian Breg, UL, Leiden

  42. november 26, 2001: Steven van Dijk, UU, Utrecht

  43. february 27, 2002: Toru Kisuki, UL, Leiden

  44. march 7, 2002: Michiel van Wezel, UL, Leiden

  45. may 8, 2002: Rob van Stee, UL, Leiden

  46. may 29, 2002: Nike van Vugt, UL, Leiden

  47. june 25, 2002: Daniel Tauritz, UL, Leiden

  48. october 17, 2002: Jerry den Hartog, VU, Amsterdam

  49. november 11, 2002: Wieke de Vries, UU, Utrecht

  50. november 28, 2002: Jano van Hemert, UL, Leiden

  51. march 5, 2003: Sander Bohte, UL, Leiden

  52. march 13, 2003: Dmitry Cheresiz, UL, Leiden

  53. August, 2003, Kuala Lumpur

  54. january 16, 2004: Martijn Leisink, KUN, Nijmegen

  55. march 19, 2004: Saskia Harkema, Nijenrode University, Breukelen

  56. april 1, 2004, Viara Popova, EUR, Rotterdam

  57. june 3, 2004, Pierluigi Frisco, UL, Leiden

  58. september 9, 2004, Avi Epstein, TUD, Delft

  59. october 7, 2004, Floortje Alkemade, TUE, Eindhoven

  60. october 26, 2004, Frederico Davina, VU, Amsterdam

  61. november 22, 2004, Arno Knobbe, UU, Utrecht

  62. january 20, 2005: Erika Ábrahám, UL, Leiden

  63. february 23, 2005, Christiaan Henkel, UL, Leiden

  64. september 14, 2005, Jeroen Eggermont, UL, Leiden

  65. october, 2005, Weiguo Sheng, Brunel University, London, United Kingdom

  66. january 18, 2006, Vincent Berk, UL, Leiden

  67. april 4, 2006, Marcel Kyas, UL, Leiden

  68. may 15, 2006, Siegfried Nijssen, UL, Leiden

  69. june 1, 2006, Kees Jong, VU, Amsterdam

  70. june 19, 2006, Koen Pieter Overmars, UL, Leiden

  71. september 26, 2006, Masayo Haneda, UL, Leiden

  72. october 18, Aris Perperoglou, UL, Leiden

  73. october 23, 2006, Carsten Riggelsen, UU, Utrecht

  74. october 25, 2006, Birna van Riemsdijk, UU, Utrecht

  75. october 31, 2006, Paul van der Mark, UL, Leiden

  76. december 21, 2006, David Lindsay, University of London, United Kingdom

  77. february 15, 2007, Ed Rinia, UL, Leiden

Teaching activities


List of 50+ courses is given below, each course is a one semester course (ss = spring semester, fs = fall semester).

Utrecht University:

  1. Semantics of programming languages (ss '89, ss '90, fs '91, fs '92, fs '94).

  2. Formal Languages (ss '90, ss '91, ss '92)

  3. Seminar on Neural Networks (ss '90)

  4. Neural Networks (ss '91, ss '92, ss '93, ss '94)

  5. Parallel Programming and Concurrency (fs '92, fs '93)

  6. Seminar Distributed Program Design (fs '90)

  7. Seminar Genetic Algorithms (ss '93)

  8. Genetic Algorithms (fs '93, fs '94)

  9. Seminar Neurocomputing (ss '94, fs '94)

  10. Computational Intelligence (ss '95)

Abo Akademi University, Finland:

  1. Parallel Program Design (fs '89)

  2. Seminar on Program Methodology (fs '89)

  3. TUCS PhD course on Computational Intelligence (ss '95)

  4. TUCS PhD course: Component Composition and Coordination (fs ’04)

Leiden University:

  1. Concepts of Programming Languages (fs '95, fs '96, ss '97, fs '97, fs '98, fs '99, fs '00, fs '02, fs '03)

  2. PAO course Genetic Algorithms (fs '95, ss '98)

  3. Neural Networks (ss '96, fs '96, ss '01, fs '01, ss '04, ss '07)

  4. Coordination Languages (fs '98)

  5. IPA course on Algorithms (ss ’05)

  6. Studievaardigheden (fs '98, ss '00, fs '99, ss '00, fs '00, ss '01)

  7. Data Mining (ss '05, ss '06, fs '06)

  8. Databases and Data Mining (ss '05)

Helsinki University, Finland:

  1. HECSE PhD course: From objects to components (ss '03)

NWO, EU, Senter, BSIK projects (Selection)


  1. NWO: Refinement of Imperative programs. 1 Ph.D., 1 programmer.

  2. NWO: Online optimization (together with Prof La Poutre, Prof. Aerts, Prof. Korst): 2 Ph.D.

  3. NWO: EDNA: Evolutionary DNA-Computing (2001-2004, Leiden University, LIACS and Institute for Molecular Plant Biology, with Prof. Rozenberg, Prof. Spaink), total volume: 1 PhD, 1 PostDoc, Kfl 100 for chemicals.

  4. NWO: Hardware grant (pipetting robot, high-speed PCR cycler, confocal microscope) to support the EDNA project (2001, Leiden University, LIACS and Institute for Molecular Plant Biology), total volume: Kfl 250

  5. NWO: G protein coupled receptors: from sequence to function (2002-2005, Leiden University, LIACS and Leiden/Amsterdam Center for Drug Research, University of Nijmegen, Center for Medicinal- and Bioinformatics, with Prof. IJzerman), total volume: 2 PhD.

  6. NWO: CoCo, Computational Intelligence for Constraint Programming (together with Prof. Apt, CWI), 1 PostDoc.

  7. NWO: CoLa, Semantics and refinement of coordination languages (together with Dr. J. Rutten, Prof.dr. J.W. de Bakker, CWI, Dr. E. de Jong, Prof.dr. M. Boasson, Signaal), 1 PhD, 1 PostDoc.

  8. NWO: Adaptive Information Filtering. 1997-2001, 1 PhD.

  9. EU: (MolCoNet A Thematic Network on Molecular Computing), FET Funded Network of Excellence by the European Commission, IST-2001-32008, 1 December 2001 - 30 November 2004. Participants: Università degli Studi di Milano-Bicocca, Italy, Universiteit Leiden, The Netherlands, Turku Centre for Computer Science, Finland, The Romanian Academy, Bucharest, Romania, Institut of Biotechnology and Antibiotics, Warsaw, Poland, Magyar Tudomanyos Akademia Szamitastechnikai Es Automatizalasi Kutato Intezet, Budapest, Hungary, The University of Liverpool, United Kingdom, Technische Universitaet Wien, Austria, Fraunhofer Gesellschaft zur Foerderung der Angewandten Forschung E.V., Bonn, Germany, Universidad Politecnica de Madrid, Université de Metz, France, Academiei de Stiinte a Republicii Moldova.

  10. EU: SEGRAVIS (Syntactic and Semantic Integration of Visual Modeling Techniques), summer 2002- summer 2006, Research Training Network of the European Commission, contract number: HPRN-CT-2002-00275, Participants: Universität Gesamthochschule Paderborn, Germany, Universitaire Instelling Antwerpen (UIA), Antwerp, Belgium, Universitat Politécnica de Catalunya, Barcelona (UPC), Barcelona, Spain, Technical University of Berlin, Germany, University of Bremen, Germany, University of Kent at Canterbury, United Kingdom, Leiden University, The Netherlands, University College London, United Kingdom, Universitá degli Studi di Milano-Bicocca, Italy, Technical University of Darmstadt, Germany, Universitá di Pisa, Italy, Universitá di Roma, Italy.

  11. EU: Distributed Resource Evolutionary Algorithm Machine (2000-2002, grant from EU-FTE, project DREAM, IST-1999-12679), total volume: 1 PostDoc.

  12. EU: ESPRIT Working Group 24512 Coordina - From coordination models to applications, August 1997- August 2000. partners: , Universidade Nova de Lisboa (DI-FCT/UNL), Lisbon, Portugal, Gothenborg University, Sweden, Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands, Imperial College London, United Kingdom, INRIA-Rennes, France, Leiden University, The Netherlands, Signaal, Hengelo, The Netherlands, Technical University of Berlin, Germany, Bern University, Switzerland, Cyprus University, Nicosia, Cyprus, University of Bologna, Italy, University of Pisa, Italy, Xerox, Paris, France

  13. EU: Evonet the European Network of Excellence in Evolutionary Computing, Information Society Technologies Programme IST-1999-14087

  14. EU: Neuronet, Network of Excellence 28103 in Neural Networks, 1994-2001.

  15. Telematica Instituut: Archimate, 2002 - 2006, 1 Ph.D.

  16. RIVM: Environmental Modelling, the use of neural networks in Epidemiology, 1994-2001, 1 PhD.

  17. Senter: BTS Data Integration and Data Mining, 2 Ph.D.

  18. UL: Leiden University: Intelligent data analysis for drug design: A combination of bio- and cheminformatics (2001-2004, Leiden University, Leiden / Amsterdam Center for Drug Research and LIACS, grant from Leiden University, with Prof. IJzerman), 1 PhD.

  19. NWO: Views project, computational life science, 3 PhD, 2004-2008.

  20. FOM: EA2MPP (Evolutionary Approaches to Multi-Parameter Physics),Technische Fysica: 2 PhD.2004-2010.

  21. NWO: Mista project (Mining semi-structured Data), open competition, 1 PhD.

  22. NWO: Dale project (Data Mining for Law Enforcement), Token program, 2 PhD, 2005-2009.

  23. Cyttron, BSIK, 2 PhD, 2004-2008.

  24. CMSB, DIAL project, 1 fte, 2004-2008.

  25. Biotune, NBIC, 1 fte, 2004-2007.

  26. Biorange, BSIK, 5 fte, 2005-2009.

Projects with industry


  1. TVA

  2. Hema

  3. Ahold

  4. Rabobank

  5. Dutch Growth Foundation

  6. Rijkswaterstaat

  7. Korps Landelijke Politiediensten

  8. Rijksinstituut voor Volksgezondheid en Milieuhygiene

  9. Ordina

  10. Signaal

  11. ABN Amro

  12. Belastingdienst

  13. Sociale Verzekeringsbank

  14. ABP

  15. Aegon

  16. Analytico

  17. TNO Telecom

Supervised MSc Projects


  1. P. Kleingeld en J.W.E. Demmers. SPOOL-S. An Object-Oriented Language with Behavioral Subtyping. Philips Research (P. America). May 1991.

  2. J. Legtenberg. From Action Systems to Occam. The construction of a compiler for Occam-like Action Systems. August 1991.

  3. C. Simons. Proving UNITY properties with the Higher-Order Logic system August 1991.

  4. B. Haring. A Multiscale Approach to Image Segmentation using Kohonen Networks. AZU-3D Computer-Vision (M. Viergever). September 1992.

  5. P.J.F. de Vink. Neural Classification of Infrared Absorption Spectra. National Institute of Public Health and Environmental Protection RIVM (A. Reinders). 1992.

  6. K. Hoogakker. Comparing the Backpropagation neural network learning algorithm with some alternative linear algorithms. AKZO Research (O. Gerdes). 1991.

  7. A.M. Oudshoff. Identification of Carbonate Rock Types from well-logs using Neural Networks/ Investigation of Neural Network Algorithms. Shell Research (H. Cardon).

  8. J.M. Vleugels. A Self-Organizing Neural Network for Motion Planning. Together with M. Overmars.. December 1992.

  9. B. Krekelberg. Self-Organizing Neural Networks. CKI. (Award: Best CKI thesis 1992/93.) January 1993.

  10. P. Dix. Recognition of spoken digits by simple recurrent nets. February 1993.

  11. M. Savenije. Constructive Algorithms for Neural Networks. Physics department (A. Taal). November 1993.

  12. G. te Brake. Model Selection and Neural Networks. CWI (P. Vit'anyi). INF/SCR-93-19. August 1993.

  13. M. Lamers. Multiscale Image Segmentation using Feedforward Neural Networks. 3DComputer Vision (M. Viergever). October 1993.

  14. R. Bijvank. Adaptive Resonance Theory. RIVM (A. Reinders). January 1994.

  15. G.J. Oosterom. Time Series Prediction using Simple Recurrent Networks. August 1994.

  16. J. Bokma. Constraint Satisfaction with Learning Automata. August 1994.

  17. A. Knobbe. Motion planning in Unknown Environments: A Neural Network Approach. Together with M. Overmars. August 1994.

  18. E. van Wanrooy. Evolving Sequential Neural Networks for Time Series Forecasting. December 1994.

  19. J. Zeinstra en R. Ulenbelt. Prediction of the daily interest rate with specialized neural networks. Kempen & Co. August 1994.

  20. M. Schulten. Adaptive preprocessing of Images. August 1995.

  21. J. Veenstra. HeadCODE: Syntactic Analysis as Head Correlation Detection. CKI. August 1995.

  22. M.C. Wezel. Neural Networks and Genetic Algorithms for Constrained Optimization and a GA application to a Railway Timetable optimization problem. Dutch Railways (J. van den Berg). August 1994.

  23. N. Rasch. Tracing a Simple Genetic Algorithm. August 1994.

  24. K. van Kemenade. Application of Hybrid Genetic Algorithms to Planning in Air Traffic Control. National Aerospace Laboratory NLR (C. Hendriks). August 1994.

  25. Eelco den Heijer. Address Block Segmentation and Evolutionary Computation. CKI. PTT Research.

  26. J.A. Spierenburg. Dimension reduction of images using neural networks. July 1997.

  27. M. van de Weg. Prediction of water level during storm situations using neural networks. August 1997.

  28. D. Elia. Population dynamics with and without communication in AEGIS. September 1997.

  29. E.A. Neuteboom. Begripvorming van klantgedrag met behulp van neurale netwerken. October 1997.

  30. M. Out. Kostenschatting voor het wegbeheer met behulp van neurale netwerken. December 1997.

  31. S. Mangroo. Forecasting individual stock prices using artificial neural networks. August 1999.

  32. A.T. Ismail. Visual Data Mining. July 2000.

  33. J. Kuiper. Motion segmentation by combining optical flow and colour regions. August 2000.

  34. S. Nijssen. Data Mining using logic. Tightening the gap between logic and specialised algorithms. October 2000.

  35. S.F.I. Matzken. Digital Identification of musical instruments. January 2001.

  36. J. Scholten. MoCha, a model for distributed mobile channels. May 2001.

  37. L. Wolf, Design of a system for processing and retrieving medical narrative data, June 2006.

  38. M. van der Zon, Adding robustness and scalability to existing data mining algorithms for successful handling of large data sets, January 2007.

  39. Quanjing Li, Computational Properties of Cortial Columns, 2006.

  40. Luc Strijbosch



Supervised TWAIO projects


  1. Remco Witberg. NeuroLogic: A Neural Network Solution to Wireline-Log Recognition Applications. October 1994.

  2. Guido te Brake. Automated Detection of Stellate Lesions and Architectural Distortions in Digital Mammograms. December 1995.




De database wordt beschermd door het auteursrecht ©opleid.info 2017
stuur bericht

    Hoofdpagina