Profile

JOHN MEYER

utrecht university

Domain of Research: AI, in particular agent technology

J.-J. Ch. Meyer, born 17.11.1954 in The Hague, The Netherlands Education: 1973: Gymnasium, Aloysiuscollege, The Hague 1979: Masters Mathematics with Computer Science and Digital Signal Processing, University of Leiden 1985: PhD Mathematics and Natural Sciences, VU Amsterdam, on thesis, entitled “Programming Calculi Based on Fixed Point Transformations”, promotor: prof. dr. J.W. de Bakker Jobs: 1979-1980: (unsalaried) PhD student under guidance of Dr. J.A. Bergstra (Univ. Leiden) en Prof. dr. D. van Dalen (Utrecht Univ.) 1980-1985: lecturer theoretical computer science, VU Amsterdam 1985-1987: assistant professor (UD) theoretical computer science, VU Amsterdam 1987-1988: associate professor (UHD) theoretical computer science, VU Amsterdam 1988-1993: full professor (bijzonder hoogleraar) “Logic for distributed systems and artificial intelligence”, VU Amsterdam 1989-1993: full professor (buitengewoon hoogleraar) theoretical computer science, KU Nijmegen (0.3 fte parttime) 1993-2000: full professor (hoogleraar A) Science of Programming (and Formal Methods), from 1998 de facto professor of Artificial Intelligence / Intelligent Systems, Utrecht University January 1995: visiting professor Linköping University (IDA) 2001-2004: full professor (hoogleraar B) Institute of Information and Computing Sciences, Utrecht University sept. 2004-2020 full professor (kernhoogleraar met functieniveau 1), Institute / Dept of Information & Computing Sciences (ICS), UU 2007-2008: visiting professor/researcher Linköping University (IDA) 2009-: scientific director (CSO) Alan Turing Institute Almere, Almere. February 2010- March 2011: general director (CEO) ad interim, Alan Turing Institute Almere, Almere. 2009-2011: (parttime) senior consultant TNO Human Factors, Soesterberg. 2013- :CEO Companion Diagnostics BV, Almere 2020-2025: emeritus professor Dept of Information & Computing Sciences (ICS), UU Research interests: Agent technology (including agent programming), cognitive robotics, artificial intelligence, virtual game characters, emotional agents, applied logic (in particular modal logics, non-monotonic logics, logics for AI, verification and specification techniques), semantics of programming languages, concurrency.