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

 


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

Scientific director

John-Jules Meyer is Chief Scientific Officer at the Alan Turing Institute Almere.
His current research interests includes logics for AI, intelligent agents and cognitive robotics. 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.

Professional Experience

 

1993 - present

Full professor of science of programming and formal methods; since 1998 de facto full professor of artificial intelligence, Utrecht University

2009 - present

Chief Scientific Officer at Alan Turing Institute Almere (CSO)

2008 - present

Steering committee DEON (conferences Deontic Logic in Computer Science)

2008 - present

Member commissie Informatica en Kennistechnologie, Fonds voor Wetenschappelijk Onderzoek
(FWO), Vlaanderen, België

2008 - present

Advisory editor Int. J. of Reasoning-Based Intelligent Systems

2005 - present

Member IFAAMAS (Autonomous Agents & Multi Agent Systems) board of directors

1999 - present

Board member Dutch Association for Theoretical Computer Science (NVTI)

1997 - present

Editorial Board J. of Intelligent Agents & Multi-Agent Systems (JAAMAS)
Editorial Board Data and Knowledge Engineering

1996 - present

Editorial board Journal of Applied Nonclassical Logics

2009 - 2011

Senior consultant TNO Human Factors, Soesterberg

2006 - 2009

Member Advisory Board at ‘Emotional Brain’, Almere

2005 - 2007

Board member Dutch Association for Logic and Philosophy of Science (VvL)

2003 - 2006

Board member Dutch Association for Logic and Philosophy of Science (VvL)
Board member Dutch Association for Logic and Philosophy of Science (VvL)
Member EUMAS (European Workshop on Multi-Agent Systems) Advisory Board

2001 - 2007

Member ATAL (Agent Theories, Architectures and Languages) steering committee

2000 - 2001

Vice-dean Faculty Mathematics & Computer Science, Utrecht University

2000 - 2005

Board member Informaticaonderzoek Platform Nederland (IPN)

1997 - 2001

Board member Informaticaonderzoek Platform Nederland (IPN)

1997 - 2001

Management team faculty mathematics and computer science, Utrecht University

1996 - 1998

Editorial board Informatie (Kluwer)

1996 - 2005

Chairman board Dutch Association for Logic and Philosophy of Science (VvL)

1995 - 2005

Scientific director Research School Information and Knowledge-based Systems (SIKS)

1995 - 1997

Board of directors Research School in Logic (OzsL)

1995, 2007 - 2008

Visiting professor Linköping University (IDA), Sweden

1989 - 1993

Full professor of theoretical computer science, Nijmegen University

1988 - 1993

Full professor of logic for distributed systems and artificial intelligence, Vrije University Amsterdam

1989 - 1988

Associate professor (UHD), theoretical computer science, Vrije University Amsterdam

1985 - 1987

Assistant professor (UD), theoretical computer science, Vrije University Amsterdam

1980 - 1985

Lecturer, theoretical computer science, Vrije University Amsterdam

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

2009

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





© 2015 Alan Turing Institute Almere