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

See also: Association of American Universities

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