Prof. J.J. (John-Jules) Ch. Meyer

Chief Scientific Officer

John-Jules Meyer is Chief Scientific Officer of the Alan Turing Institute Almere. His current research interests include logics for AI, intelligent agents and cognitive robotics, and he has been involved with agent research for over a decade now, ranging from theoretical / logical foundations, via agent programming to the many applications that are currently being investigated.

RESUME

Professional Experience:

1980-1985: lecturer, theoretical computer science, Vrije University Amsterdam

1985-1987: assistant professor (UD), theoretical computer science, Vrije University Amsterdam

1987-1988: associate professor (UHD), theoretical computer science, Vrije University Amsterdam

1988-1993: full professor of logic for distributed systems and artificial intelligence, Vrije University Amsterdam

1989-1993: full professor of theoretical computer science, Nijmegen University

1993 - heden: full professor of science of programming and formal methods; since 1998 de facto full professor of artificial intelligence, Utrecht University

1995, 2007-2008: visiting professor Linköping University (IDA), Sweden

1995 -1997: board of directors Research School in Logic (OzsL)

1995 - 2005: scientific director Research School Information and Knowledge-based Systems (SIKS)

1995 - 2005: chairman board Dutch Association for Logic and Philosophy of Science (VvL)

1996 - heden: editorial board Journal of Applied Nonclassical Logics

1996 -1999: editorial board Informatie (Kluwer)

1997- heden : editorial board Data and Knowledge Engineering

1997-2001: management team faculty mathematics and computer science, Utrecht University

1997- : editorial board J. of Intelligent Agents & Multi-Agent Systems (JAAMAS)

1999- : board member Dutch Association for Theoretical Computer Science (NVTI)

2000 - 2001: vice-dean Faculty Mathematics & Computer Science, Utrecht University

2000 - 2005: board member Informaticaonderzoek Platform Nederland (IPN)

2001 - 2007 member ATAL (Agent Theories, Architectures and Languages) steering committee.

2003 - 2006: member EUMAS (European Workshop on Multi-Agent Systems) Advisory Board.

2005 - 2007: board member Dutch Association for Logic and Philosophy of Science (VvL)

2005 - heden : member IFAAMAS (Autonomous Agents & Multi Agent Systems) board of directors.

2006 - heden : member ICIS Consortium Board (Bsik).

2006 - 2009 : member Raad van Advies ‘Emotional Brain’ te Almere.

2008 - heden: steering committee DEON (conferences Deontic Logic in Computer Science).

2008 - heden: member commissie Informatica en Kennistechnologie, Fonds voor Wetenschappelijk Onderzoek (FWO), Vlaanderen, België

2008 - heden: advisory editor Int. J. of Reasoning-Based Intelligent Systems.

2009 - 2011: senior consultant TNO Human Factors, Soesterberg.

2009 - heden: Chief Scientific Officer at Alan Turing Institute Almere (CSO)

Education and Qualifications:

1973: Gymnasium b, Aloysiuscollege, The Hague

1979: M.Sc. Mathematics with Computer Science and Digital Signal Processing, Leyden University

1985: Ph.D. Mathematics and Natural Sciences, Vrije University Amsterdam, title thesis: “Programming Calculi Based on Fixed Point Transformations”, promotor: prof. dr. J.W. de Bakker

2005: ECCAI Fellow, European Coordinating Committee for Artificial Intelligence.

2007: Honorary Member of the research school SIKS

Inclusion in The International Directory of Logicians: Who's Who in Logic (D.M. Gabbay & J. Woods, eds.), College Publications, London, 2009, pp. 233-235.

Publications
see http://people.cs.uu.nl/jj/