Amsterdam, Free University
Division of Mathematics and Computer Science. Research interests center around software engineering; parallel and distributed systems, including programming, distributed shared objects, operating systems support, and wide area cluster computing; agent technology; computational intelligence; knowledge representation and reasoning; lambda calculus; programming language semantics; type theory; and proof checking.
Leiden, University of
Institute of Advanced Computer Science. Research areas include theoretical computer science, algorithmics, foundations of programming, software engineering, information systems and high performance computing.
Groningen, University of
Department of Mathematics and Computing Science. Research fields include theoretical computer science, high performance computing and imaging, artificial intelligence, parallel and distributed computing, embedded systems, agent technology and neural networks.
|