J.-J.Ch. Meyer

John-Jules Charles Meyer was born 17-11-54 in The Hague, The Netherlands. He studied Mathematics and Computer Science, and finished in 1985 his Ph.D. thesis, titled `Programming Calculi Based on Fixed Point Transformations', which was supervised by prof. dr. J.W. de Bakker. He has been full professor of logic and professor of theoretical computer science at the Free University Amsterdam and the University of Nijmegen respectively. Currently, he is a full professor of formal methods in computer science at Utrecht University. He is a member of the board National Foundation of Computer Science SION (NWO), of the committee National Facility Informatics (NFI), and of the advisory board (BAC) for the CWI, Amsterdam. He is also involved in initiatives for establishing national research schools for Ph.D. students on data and information systems and programming methodology in the Netherlands. His research interests are: applied logic (in particular modal, epistemic, deontic logic, nonmonotonic logic), applications of logic in knowledge representation, data bases, AI, specification; semantics of programming languages, concurrency.

Selected publications

1. R.J. Wieringa, H. Weigand, J.-J.Ch. Meyer &F.P.M. Dignum, The Inheritance of Dynamic and Deontic Integrity Constraints; Annals of Mathematics and Artificial Intelligence 3 (1991), pp. 393-428.
2. J.-J.Ch. Meyer &E.-R. Olderog, Hiding in Stream Semantics of Uniform Concurrency, Acta Informatica 27, 1990, pp. 381-397.
3. F.P.M. Dignum &J.-J.Ch. Meyer, Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints, VU Report IR-209, in: Semantics for Concurrency, Leicester 1990, (M.Z. Kwiatkowska, M.W. Shields &R.M. Thomas, eds.), Springer-Verlag, London/Berlin, 1990, pp. 61-80.
4. W. van der Hoek &J.-J. Ch. Meyer, Explicitating some Issues in Implicit Knowledge, Int. J. of Foundations of Computer Science 3(2), 1992, pp. 193-223.
5. R.J. Wieringa &J.-J. Ch. Meyer, Actors, Actions, and Initiative in Normative System Specification, Annals of Mathematics and Artificial Intelligence, 1993.