User:Ruud Koot/Computer science departments

Austria

 * University of Innsbruck

Belgium

 * http://www.bfia.be/infobevl.html


 * Katholieke Universiteit Leuven
 * Universiteit Gent
 * Interdisciplinary institute for BroadBand Technology
 * Vrije Universiteit Brussel
 * Universiteit Antwerpen
 * Universiteit Hasselt

Germany

 * Saarland University
 * Department of Computer Science - http://www.cs.uni-saarland.de/
 * Dresden University of Technology
 * Faculty of Computer Science - http://www.inf.tu-dresden.de/
 * University of Bayreuth
 * Institute for Computer Science - http://www.ai.uni-bayreuth.de/
 * University of Erlangen-Nuremberg
 * Department of Computer Science - http://www.informatik.uni-erlangen.de/

Netherlands

 * http://www.ictonderzoek.net/
 * http://nirict.3tu.nl/


 * Centrum Wiskunde & Informatica (national research institute)
 * Open University (Netherlands)
 * Radboud Universiteit Nijmegen
 * Computing Science Department - http://www.cs.ru.nl/
 * Model-Based System Development - http://www.mbsd.cs.ru.nl/
 * Digital Security - http://www.ru.nl/ds/
 * Intelligent Systems - http://www.ru.nl/is/
 * Rijksuniversiteit Groningen
 * Johann Bernoulli Institute for Mathematics and Computer Science - http://www.cs.rug.nl/jbi/
 * Scientific Visualization and Computer Graphics 	Prof.dr. J.B.T.M. Roerdink
 * Fundamental Computing 	Prof.dr. G.R. Renardel de Lavalette
 * Intelligent Systems 	Prof.dr. N. Petkov
 * Distributed Systems 	Prof.dr. M. Aiello
 * Software Engineering and Architecture 	Prof.dr. P. Avgeriou
 * Information Systems 	Prof.dr. S. Dustdar
 * Technische Universiteit Delft
 * Technische Universiteit Eindhoven
 * Universiteit van Amsterdam
 * Institute for Logic, Language and Computation - http://www.illc.uva.nl/
 * Logic and Language (program)
 * Language and Computation (program)
 * Logic and Computation (program)
 * Logic and Game Theory (spearhead)
 * Cognitive Modelling (spearhead)
 * Informatics Institute - http://www.science.uva.nl/ii/
 * Computing, System Architecture, and Programming Laboratory
 * Computer Systems Architecture
 * Programming Methods and Environments
 * Computational Science
 * System and Network Engineering
 * Intelligent Systems Laboratory Amsterdam
 * Intelligent Sensory Information Systems
 * Intelligent Autonomous Systems
 * Information and Language Processing Systems
 * Universiteit Leiden
 * Leiden Institute of Advanced Computer Science - http://www.liacs.nl/
 * Algorithms - prof.dr. Thomas Bäck & prof.dr. Joost Kok (heads)
 * Data Mining
 * Natural Computing
 * Theoretical Computer Science
 * Computer Systems - prof.dr. Ed DePrettere & prof.dr. Harry Wijshoff (heads)
 * High Performance Computing
 * Leiden Embedded Research Center
 * Foundation of Software Technology - prof.dr. Farhad Arbab & prof.dr. Joost Kok (heads)
 * Section Software Engineering
 * Theoretical Computer Science
 * Imagery & Media - dr. Michael Lew & dr.ir. Fons Verbeek (heads)
 * Imaging and Bioinformatics
 * Media Research
 * Media Technology
 * Technology & Innovation Management - prof. dr. Bernard R. Katzy (head)
 * Universiteit Twente
 * Centre for Telematics and Information Technology - http://www.ctit.utwente.nl/
 * Applied Science of Services for Information Society Technologies (ASSIST)
 * Dependable Systems and Networks (DSN)
 * Wireless & Sensor Systems (WiSe)
 * Natural Interaction in Computer-mediated Environments (NICE)
 * Integrated Security and Privacy in a Networked World (ISTRICE)
 * Industrial Engineering and ICT (IE&ICT)
 * Universiteit Utrecht
 * Department of Information and Computing Sciences - http://www.cs.uu.nl/
 * Game, Media and Agent Technology
 * Center for Advanced Gaming and Simulation (AGS) (TNO/UU/HKU) - dedicated to the challenges of virtual worlds, game design and the creative industry: prof. dr. M.H. Overmars (director).
 * Games and Virtual Worlds : prof. dr. Mark Overmars
 * Multimedia and Geometry : prof. dr. Remco Veltkamp
 * Intelligent Systems : prof. dr. John-Jules Meyer
 * Cognition and Communication : dr. Herre van Oostendorp
 * Content and Knowledge Engineering : prof. dr. Jörgen van den Berg
 * Multimodal Interaction in Virtual Environments: prof.dr. Peter Werkhoven (LIFT-TNO/TNO)
 * Internet Applications: prof. dr. ir. Erik Huizer (NOB Cross Media)
 * Information and Software Systems (`IT challenges of the data-rich society')
 * Algorithmic Data Analysis : prof. dr. Arno Siebes
 * Decision Support Systems : prof. dr. ir. Linda van der Gaag
 * Software Technology : prof.dr. Doaitse Swierstra, prof. dr. Johan Jeuring
 * Algorithmic Systems : prof. dr. Jan van Leeuwen
 * Organization & Information : prof. dr. Sjaak Brinkkemper
 * Business IT alignment: prof. dr. Wim Scheper (Deloitte)
 * Chain-Computerization in the Constitutional State: prof. dr. mr. Jan Grijpink (Min. van Justitie)
 * Philosophy of Computer Science : prof. dr. Jan van Leeuwen
 * Vrije Universiteit Amsterdam
 * Department of Computer Science - http://www.cs.vu.nl
 * Artificial Intelligence
 * Agent Systems headed by prof. dr. Jan Treur
 * Computational Intelligence headed by prof. dr. Guszti Eiben
 * Knowledge Representation & Reasoning headed by prof. dr. Frank van Harmelen
 * Bioinformatics
 * Business Web & Media
 * Computer Systems
 * High Performance Distributed Computing
 * Systems & Security
 * Large Scale Distributed Systems
 * Information Management & Software Engineering
 * Interaction design headed by prof. dr. Gerrit van der Veer.
 * Information Systems headed by prof. dr. Chris Verhoef.
 * Software Engineering headed by prof. dr. Hans van Vliet.
 * Theoretical Computer Science
 * Lambda calculus and rewriting
 * Process algebra
 * Semantics of programming languages
 * Type theory and proof checking


 * Advanced School for Computing and Imaging (ASCI) - http://www.asci.tudelft.nl/
 * Institute for Programming research and Algorithmics (IPA) - http://www.win.tue.nl/ipa/
 * School for Information and Knowledge Systems (SIKS) (research school)
 * Onderzoeksschool Logica (OzsL) - http://www.ozsl.uu.nl/

Sweden

 * http://www.cs.chalmers.se

Switzerland

 * ETH Zurich

United Kingdom

 * Edinburgh University
 * University of Edinburgh School of Informatics
 * Laboratory for Foundations of Computer Science
 * Cambridge University
 * University of Cambridge Computer Laboratory
 * Oxford University
 * Oxford University Computing Laboratory
 * Programming Research Group

United States

 * University of California-Berkeley (UC Berkeley)
 * Brown UniversityIL - http://www.cs.brown.edu/
 * Carnegie Mellon University (CMU) - http://www.cs.cmu.edu/
 * Cornell UniversityIL
 * Columbia UniversityIL - http://www.cs.columbia.edu/
 * Dartmouth CollegeIL - http://www.cs.dartmouth.edu/
 * Duke University - http://www.cs.duke.edu/
 * University of Illinois at Urbana-Champaign
 * Georgia Institute of Technology
 * Harvard UniversityIL - http://www.cs.harvard.edu/
 * Massachusetts Institute of Technology (MIT)
 * University of PennsylvaniaIL - http://www.cis.upenn.edu/
 * Princeton UniversityIL
 * University of Pittsburgh - http://www.cs.pitt.edu/
 * Stanford University (Stanford)
 * University of Texas at Austin
 * University of Washington
 * Yale UniversityIL - http://www.cs.yale.edu/