Curriculum Vitae Prof. dr J.N. Kok

Transcription

1 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, Leiden University, Niels Bohrweg 1, 2333 CA Leiden Tel: Fax: Web: August august 1984: Mathematics at University of Amsterdam. July 1982: Kandidaatsexamen (B.Sc.): Mathematics, special subjects in Physics and Philosophy. August 1984: Doctoraalexamen (M.Sc): Mathematics, special subjects in Computer Science and Artificial Intelligence. September september 1986: Research Assistant at the Free University in Amsterdam in the Dutch National Project on Concurrency. October september 1988: Scientific Collaborator at the Centre for Mathematics and Computer Science, Amsterdam. Esprit project 415: Parallel Languages for Advanced Information Processing. October may 1994: Assistant Professor Semantics of Programming Languages, Utrecht University (August december 1989 on leave). May 1989: PhD: 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. August december 1989: Tf. Bitt. Professor i Informationsbehandling, Abo Akademi University, Turku, Finland. June april 1995: Associate Professor in Neurocomputing, Utrecht University. May : Full Professor in Fundamental Computer Science, Leiden University. Main Research themes My research is concentrated around the themes Bioinformatics, Data Mining, Coordination and Optimization. Bioinformatics. The application of computer science technology for solving problems in biochemistry and genomics. The expertise in molecular biology, medicinal chemistry and computer science with particular aspects on data mining and adaptive search and optimisation comes together in a way that allows for the exploitation of interdisciplinary synergies between these disciplines. Data Mining. Data Mining looks for hidden patterns in large amounts of data. The focus is on the discovery of patterns (associations, frequent trees), on techniques from the area of Natural Computation and on semi-structured data. Coordination. Software systems are difficult to maintain due to their inherent complexity. Coordination of components in Software Systems studies how complex systems can be constructed from components using a clear distinction between individual components and their coordinated interaction. Optimization. Many problems can be described as an optimization problem in which, within certain constraints, optimal values have to be found for the variables. The techniques that are used are stemming from Simulated Evolution, in particular from Evolutionary Computation. Research is being done on the development of new algorithms, on the applicability on benchmark problems and on concrete "real-life" cases.

2 Ph.D. students 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, promotor All Ph.D. students were funded by external sources. Current Ph.D. students 1. Adriaan Schippers 2. Jeroen Eggemont 3. Siegfried Nijssen 4. Andries Stam 5. Peter van der Putten 6. Christiaan Henkel 7. Eric-Wubbo Lameyer 8. Elena Samsonova 9. Abeer Ali Abdulal 10. Jeroen Kazius 11. Egbert Boers (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. 6. Editor of the Journal of Universal Computer Science. 7. Member of the board of the Dutch-Belgium Artificial Intelligence Society (BNVKI) ( ). 8. Chair of the Dutch-Belgium Artificial Intelligence Society (BNVKI) ( ). 9. Council member of the Intelligent Data Analysis Conference. 10. Member of the board of the Dutch Theoretical Computer Science Association (NVTI)(-2004). 11. Chair of the Dutch Theoretical Computer Science Association (NVTI)(2004-)- 12. Artificial Intelligence theme editor Encyclopedia Of Life Support Systems, Unesco. 13. Member of Steering Committee Data Mining, STT Netherlands Study Centre for Technology Trends. Program Committees 1. Member of program committee Engineering Aspects of Neural Networks (EANN), Helsinki, Finland, Member of program committee for the Dutch Artificial Intelligence Conference (NAIC), Utrecht, Member of program committee Nordic Workshop on Genetic Algorithms (NWGA), Vaasa, Finland, Member of program committee Nordic Workshop on Genetic Algorithms (NWGA), Vaasa, Finland, Member of program committee of the Seventh International Conference on Genetic Algorithms (ICGA), Ann Arbor, MI, July 19-23, Member of program committee of the School on NAtural Computation (SNAC), Turku, Finland, August Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Antwerp, November Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Amsterdam, November Member of program committee and organizing co-chair of the third International Conference on Coordination Models and Languages, Amsterdam, April 1999.

3 10. Member of program committee for the Congress on Evolutionary Computation (CEC '99), Washington DC, USA, July 6-9, Program Chair of the Third Symposium on Intelligent Data Analysis (IDA-99), Amsterdam, The Netherlands, August 9-11, Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Maastricht, November Member of program committee of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2000), Berlin, Germany, March Member of program committee of the third International Conference on Coordination Models and Languages, Limassol, Cyprus, September Member of program committee of the Sixth International Conference on Parallel Problem Solving from Nature (PPSN VI), Paris, France, September Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Tilburg, November Member of the Scientific Committee of the European School on Intelligent Data Analysis, Palermo, Italy, March Member of program committee of the Second International Workshop on Agent-Oriented Software Engineering (AOSE-2001), Montreal, Canada, May Member 5th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'01), Freiburg, Germany, September Member of program committee for the Fourth Symposium on Intelligent Data Analysis (IDA-01), Lisbon, Portugal, September Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Amsterdam, November Member of program committee of the fifth International Conference on Coordination Models and Languages, York, UK, April Member 5th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'02), Helsinki, Finland, August Member of program committee of the First International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa 2002), Brno, Czech Republic, August Member of program committee of the Sixth International Conference on Parallel Problem Solving from Nature (PPSN VII), Granada, Spain, September Member of program committee of the Fifth Symposium on Intelligent Data Analysis (IDA-03), Berlin, Germany, September Member of program committee of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 03), Cavtat, Croatia, September Member of program committee of FOCLASA 2003, 2 nd International Workshop on Foundations of Coordination Languages and Software Architectures, September 2, Member of program committee of the workshop on Graph transformation and Visual Modelling techniques (GT- VMT 04), Barcelona, Spain, March 27- April 4, Member of program committee of the 8th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 04), Pisa, Italy, Member of program committee of FOCLASA 2004, Third International Workshop on Foundations of Coordination Languages and Software Architectures, August 30, Workshop Chair Second International Workshop on Mining Graphs, Trees and Sequences, Pisa, Italy, September 24, Member of program committee for the Belgium Dutch Artificial Intelligence Conference (BNAIC), Groningen, November Member of program committee for AISTA 2004 International Conference on Advances in Intelligent Systems - Theory and Applications, Luxemburg,, november Member of program committee for ISoLA - 1st International Symposium on Leveraging Applications of Formal Methods, 30th October - 2st November Member of program committee of the Seventh International Conference on Parallel Problem Solving from Nature (PPSN VII), Birmingham, UK, September Program Chair of the Sixth Symposium on Intelligent Data Analysis (IDA-05), Madrid, Spain, Other memberships 1. Dutch Foundation of Neural Networks (member) 2. Centre for Mathematics and Computer Science (advisor) 3. Beoordelingscommissie Informatica (BCI), NWO-E (member)

4 4. Beoordelingscommissie NWO-VENI (member) 5. Ingenet Project European Union (reviewer) 6. Advisory Committee NWO Computer Science (member) 7. Docent Abo Akademi University (geeft recht om als promotor op te treden) 8. IFIP TC12: Artificial Intelligence Invited presentations ( ) 1. January 21, 1996: Philips Research, Eindhoven 2. March 1, 1996: Dutch theoryday, Utrecht 3. March 26, 1996: EA and their applications, Dagstuhl, Germany 4. April 12, 1996: CWI Colloquium, Amsterdam 5. April 16, 1996: Coordination conference, Cesena, Italy 6. April 25, 1996: Esann conference, Bruges, Belgium 7. May 9, 1996: Semantics of Concurrent Systems, Dagstuhl, Germany 8. May 10, 1996: PAO Evolutionary Algorithms, Utrecht 9. May 24, 1996: NAIC conference, Utrecht 10. August 16, 1996: Abo Akademi University, Finland 11. September 16, 1996: IPA days, Noordwijk 12. November 14, 1996: Signaal, Hengelo 13. January 13, 1997: Evolutionary Computing Afternoon, Leiden 14. April 25, 1997: PAO Evolutionary Algorithms, Amsterdam 15. April 28, 1997: Artificial Intelligence Day, University of Leuven, Belgium 16. August 4, 1997: Intelligent Data Analysis, Birbeck College, UK 17. August 25, 1997: University of Jyveskyla, Finland 18. September 3, 1997: Coordination Conference, Berlin 19. September 23, 1997: TACS conference, Sendai, Japan 20. September 30, 1997: Aerospace conference, TUDelft 21. October 17, 1997: Ortec, Gouda 22. November 4, 1997: Philips Research, Eindhoven 23. November 25, 1997: CSN conference, Utrecht 24. January 23, 1998: Coordination meeting, Boekelo 25. February 27, 1998: SAC conference, Atlanta, USA 26. March 12, 1998: Symposium Soft Computing, Goettingen, Germany 27. May 12, 1998: University of Dortmund, Germany 28. June 15, 1998: MPC conference, Gothenburg, Sweden 29. June 23, 1998: Coordination project, Horta, Portugal 30. October 8, 1998: Benelearn conference, Wageningen 31. February 16, 1999: Fmoods conference, Firenze, Italy 32. June 9, 1999: ISMIS conference, Warsaw, Poland 33. November 17, 1999, Unilever Research, Schiedam 34. November 24, 1999, Ballast Nedam, Amsterdam 35. December 17, 1999: Aegon, Den Haag 36. March 20, 2000, SAC conference, San Antonio, USA 37. July 10, 2000, University of Oldenburg, Germany 38. August 14, 2000, Intelligent Data Analysis, Dagstuhl, Germany 39. September 12, 2000, Coordination, Limassol, Cyprus 40. August 9, 2001, SINTEF, Oslo, Norway 41. September 13, 2001, IDA, Lisbon, Portugal 42. October 30, 2001, Tacs, Sendai, Japan 43. March 13, 2002, BNAIS conference, Utrecht 44. April 22, 2002, EU project, Cyprus 45. April 26, 2002, VOC, Utrecht 46. June 6, 2002, University of Helsinki, Finland 47. June 19, 2002, Philips Research, Eindhoven 48. August 20, 2002, Pkdd/ECML conference, Helsinki, Finland 49. August 28, 2002, Bioinformatics School, Patras, Greece 50. August 30, 2002, Jaco de Bakker farewell symposium, Amsterdam 51. October 11, 2002, University of Barcelona 52. September 10, 2002, Organon, Oss

5 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, Faculty of Social Science, 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, Faculty of Archaeology, UL, Leiden 19. october 28, 1997: Peter Stehouwer, TUE, Eindhoven 20. november 24, 1997: Roy Glasius, KUN, Nijmegen 21. may 26, 1998: Ramze Razaee, Medical Faculty 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 : Jukkapekka Hekanaho, Abo Akademi University, Finland 30. january 11, 2000: Guido te Brake, KUN, Nijmegen 31. june 23, 2000: Edwin de Jong, VUB, Brussel 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:, Nijenrode University, Breukelen 56. April 1, 2004, Popova, EUR, Rotterdam 57. June 3, 2004, Pier Frisco, UL, Leiden 58. September 9, 2004, Avi Epstein, TUD, Delft 59. October 7, 2004, Floortje Alkemade, TUE, Eindhoven

6 60. October 26, 2004, Frederico Davina, VU, Amsterdam 61. November 22, 2004, Arno Knobbe, UU, Utrecht Education Teaching activities: list of 48 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 (spring 1995) Leiden University: 1. Concepts of Programming Languages (fs '95, fs 96, ss 97, fs 97, fs 98, fs 99, fs 00, fs 02) 2. PAO course Genetic Algorithms (fs 95, ss 98) 3. Neural Networks (ss 96, fs 96, ss 01, fs 01) 4. Coordination Languages (fs 98) 5. IPA course on Algorithms 6. Studievaardigheden (fs 98, ss 00, fs 99, ss 00, fs 00, ss 01) Helsinki University, Finland: 1. From objects to components (ss '03) Management 1. Lid dagelijks bestuur Informatica, Universiteit Utrecht ( ) 2. Lid afdelingsbestuur Wiskunde en Informatica, Leiden ( ) 3. Opleidingsdirecteur Informatica (1997- ) 4. Opleidingsdirecteur Mediatechnologie 5. Opleidingsdirecteur ICT in Business 6. Lid stuurgroep Lorentz Centrum 7. Lid facultaire ICT en Onderwijs commissie 8. Lid facultaire Wetenschapscommissie 9. Lid universitaire ICT en Onderwijs commissie 10. Lid wetenschapscommissie onderzoeksschool Instituut voor Programmatuurkunde en Algoritmiek 11. Supervisie bedrijfsopleidingen (CMG en TPG) 12. Coordinatie Bioinformatica faculteit Wiskunde en Natuurwetenschappen 13. Studeerbaarheidsfondsprojecten Digitale Studieplanner en Interactieve Voorlichting 14. Opzetten nieuw thema Evolutionary Systems and Applied Algorithmics bij het CWI 15. Hoofd onderzoeksgroep Algoritmen en Programmeermethodologie 16. Voorzitter landelijke commissie invoering vijfjarig curriculum Informatica 17. Deputy director Leiden Center for Natural Computing Cooperation 1. Universiteit Utrecht (Prof. Siebes) 2. Centre for Mathematics and Computer Science (Prof. La Poutré, Prof. Rutten, Dr. Arbab) 3. Katholieke Universiteit Nijmegen (Prof. Gielen, Dr. Kappen) 4. Universiteit Nijenrode (Prof. Baets) 5. Vrije Universiteit Amsterdam (Prof. Eiben, Dr. Marchiori) 6. Leids Universitair Medisch Centrum (Prof. Zwetsloot, dr. Touissant) 7. IMP Biology (Prof. Spaink)

7 8. LACDR Biopharmacy (Prof. IJzerman) 9. Abo Akademi University (Prof. Sere) 10. Helsinki University (Prof. Floréen, Dr. Goethals) 11. MIT (Prof. Gupta) 12. Erasmus Universiteit (Prof. de Bruin, Dr. W. Pijls, Dr. C. Bioch) Projects 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 ( , 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 NWO: G protein coupled receptors: from sequence to function ( , 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 , 1 PhD. 9. EU: (MolCoNet A Thematic Network on Molecular Computing), FET Funded Network of Excellence by the European Commission, IST , 1 December November 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 summer 2006, Research Training Network of the European Commission, contract number: HPRN-CT , 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 ( , grant from EU-FTE, project DREAM, IST ), total volume: 1 PostDoc. 12. EU: ESPRIT Working Group Coordina - From coordination models to applications, August August 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 EU: Neuronet, Network of Excellence in Neural Networks, Telematica Instituut: Archimate, , 1 Ph.D. 16. RIVM: Environmental Modelling, the use of neural networks in Epidemiology, , 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 ( , Leiden University, Leiden / Amsterdam Center for Drug Research and LIACS, grant from Leiden University, with Prof. IJzerman), 1 PhD. Projects with industry 1. TVA (Hema, Ahold, Rabobank) 2. Dutch Growth Foundation (Growth analyzer) 3. Rijkswaterstaat (Neural Vision project) 4. Korps Landelijke Politiediensten (project) 5. Rijksinstituut voor Volksgezondheid en Milieuhygiene (promotietraject)

8 6. Ordina (promotietraject) 7. Signaal (NWO-EW CoLa project) 8. ABN Amro (Telematica Instituut) 9. Belastingdienst (Telematica Instituut) 10. Sociale Verzekeringsbank (Telematica Instituut) 11. ABP (Telematica Instituut) 12. Aegon (Senterproject) 13. Analytico (Senterproject) 14. KPN Research (promotietraject) 15. Ahold (Optimization in Retail) Organisation 1. Escher exhibition Gemeentemuseum, Den Haag 2. Leiden Centre for Natural Computation 3. IDA conference Amsterdam 4. PPSN conference Amsterdam 5. IPA spring days (Noordwijk, Dordrecht, Nijmegen, Best) 6. FOGA conference (Leiden) 7. DNA based Computing conference (Leiden) 8. IDA school Palermo 9. EvoNet training committee Supervised M.Sc. Projects 1. P. Kleingeld en J.W.E. Demmers. SPOOL-S. An Object-Oriented Language with Behavioral Subtyping. Philips Research (P. America). May J. Legtenberg. From Action Systems to Occam. The construction of a compiler for Occam-like Action Systems. August C. Simons. Proving UNITY properties with the Higher-Order Logic system August B. Haring. A Multiscale Approach to Image Segmentation using Kohonen Networks. AZU-3D Computer- Vision (M. Viergever). September P.J.F. de Vink. Neural Classification of Infrared Absorption Spectra. National Institute of Public Health and Environmental Protection RIVM (A. Reinders) K. Hoogakker. Comparing the Backpropagation neural network learning algorithm with some alternative linear algorithms. AKZO Research (O. Gerdes) 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 B. Krekelberg. Self-Organizing Neural Networks. CKI. (Award: Best CKI thesis 1992/93.) January P. Dix. Recognition of spoken digits by simple recurrent nets. February M. Savenije. Constructive Algorithms for Neural Networks. Physics department (A. Taal). November G. te Brake. Model Selection and Neural Networks. CWI (P. Vit'anyi). INF/SCR August M. Lamers. Multiscale Image Segmentation using Feedforward Neural Networks. 3DComputer Vision (M. Viergever). October R. Bijvank. Adaptive Resonance Theory. RIVM (A. Reinders). January G.J. Oosterom. Time Series Prediction using Simple Recurrent Networks. August J. Bokma. Constraint Satisfaction with Learning Automata. August A. Knobbe. Motion planning in Unknown Environments: A Neural Network Approach. Together with M. Overmars. August E. van Wanrooy. Evolving Sequential Neural Networks for Time Series Forecasting. December J. Zeinstra en R. Ulenbelt. Prediction of the daily interest rate with specialized neural networks. Kempen & Co. August M. Schulten. Adaptive preprocessing of Images. August J. Veenstra. HeadCODE: Syntactic Analysis as Head Correlation Detection. CKI. August 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 N. Rasch. Tracing a Simple Genetic Algorithm. August K. van Kemenade. Application of Hybrid Genetic Algorithms to Planning in Air Traffic Control. National Aerospace Laboratory NLR (C. Hendriks). August Eelco den Heijer. Address Block Segmentation and Evolutionary Computation. CKI. PTT Research.

9 26. J.A. Spierenburg. Dimension reduction of images using neural networks. July M. van de Weg. Prediction of water level during storm situations using neural networks. August D. Elia. Population dynamics with and without communication in AEGIS. September E.A. Neuteboom. Begripvorming van klantgedrag met behulp van neurale netwerken. October M. Out. Kostenschatting voor het wegbeheer met behulp van neurale netwerken. December S. Mangroo. Forecasting individual stock prices using artificial neural networks. August A.T. Ismail. Visual Data Mining. July J. Kuiper. Motion segmentation by combining optical flow and colour regions. August S. Nijssen. Data Mining using logic. Tightening the gap between logic and specialised algorithms. October S.F.I. Matzken. Digital Identification of musical instruments. January J. Scholten. MoCha, a model for distributed mobile channels. May Supervised TWAIO projects 1. Remco Witberg. NeuroLogic: A Neural Network Solution to Wireline-Log Recognition Applications. October Guido te Brake. Automated Detection of Stellate Lesions and Architectural Distortions in Digital Mammograms. December 1995.