Background
Meyer, John-Jules Charles was born on November 17, 1954 in The Hague, Netherlands. Son of Bernard John Meyer and Godefrida Juliëne Meyer-Le Mire.
Computer science educator and researcher
Meyer, John-Jules Charles was born on November 17, 1954 in The Hague, Netherlands. Son of Bernard John Meyer and Godefrida Juliëne Meyer-Le Mire.
Master of Science in Mathematics, Leyden University, Netherlands, 1979. Doctor of Philosophy, Vrye University, Amsterdam, The Netherlands, 1985.
Research assistant Vrye University, Amsterdam, 1980-1985, from assistant professor to associate professor, 1985-1988, professor, 1988—1993, Nïjmegen University, Nïjmegen, Netherlands, 1989—1993, Utrecht University, since 1993, head department, 1994—1996, leader intelligent system group, since 1996. Vice-dean faculty mathematics and computer science University Utrecht, 2000-2001. Board director Dutch Foundation Computer Science Research, Amsterdam, Working Comty.
Theoretical Computer Science, Amsterdam. Member National Facility Informatics, Utrecht, 1989-1995. Science director Dutch Graduate School in Information and Knowledge Systems, Amsterdam, 1995-2005.
Section leader Logic and Fundamental Computer Science, Dutch Graduate School in Logic, 1995-1996. Site leader various ESPRIT projects, since 1992. Member advisory bd/ EUMAS, 2003-2006.
Board member International Foundation Auton Agents Multi-Agent Systems, since 2005. Visiting professor Linköping University, since 2007.
First author: Epistemic Logic for Artificial Intelligence and Computer Science, 1995. Co-editor: Non-Monotonic Reasoning and Partial Semantics, 1992, Deontic Logic in Computer Science, 1993, Formal Models of Agents, 1999, Dynamics and Management of Reasoning Processes, 2001, Intelligent Agents VIII, 2002, Agent-Based Defeasible Control in Dynamic Environments, 2002, Objects, Agents and Features, 2004, Deontic Logic and Artificial Normative Systems, 2006. Member editorial board Journal Applied Non-Classical Logic, since 1996, Data and Knowledge Engineering, since 1997, Journal Autonomous Agents and Multi-Agent Systems, since 1997.Consultant editor Episteme, 2004. Member advisory editorial board International Journal Reasoning-Based Intell. Systems, since 2007.Contributor articles and papers to science journals and conferences.
Fellow: European Coordinator Committee Artificial Intelligence. Member: Institute of Electrical and Electronics Engineers (honorary), Dutch Association Theoretical Computer Science (board director since 1999), Dutch Assn Logic and Philosophy of Science (chairman 1995—2005), Association Symbolic Logic, European Asn. Theoretical Computer Science, Association Computing Machinery.