Contact
| People
| News
| MSc Program `Computing Science
| MSc Programs
PhD studies
| Academic skills
| Algorithmic pointers
| Search tools
| Route- and Travel planners
INFORMATICA / COMPUTER SCIENCE
CENTER FOR ALGORITHMIC SYSTEMS - Utrecht University
``Designing Algorithmic Solutions for the Digital Future''
All systems in modern information and communication technology are built on
algorithms. The Center focuses on the algorithmic challenges in applied
computer science viz. the design of advanced IT systems. We aim at
highly effective algorithmic solutions that exploit structure in information
and efficient computation in any context.
The Center for Algorithmic Systems is headed by professor Jan van Leeuwen, is part of
the Department of Information and Computing Sciences of Utrecht University, and
a member of the inter-university research school
IPA.
Graduate studies in Computer Science
We provide courses in the area of algorithmic modeling, algorithm design,
complexity theory , and computational intelligence for the BSc program in Computer Science
(`Informatics'), the MSc program in ``Computing Science'' and the PhD program
of the Utrecht Research Institute for
Information and Computing Sciences.
Research
- Computational complexity e.g. fixed parameter complexity, exact algorithms,
kernelization.
- Information structures e.g. graphs, treewidth, network
algorithms, social networks, computational biology.
- Algorithmic modelling and simulation e.g. combinatorial optimization,
constraint programming, planning, scheduling.
- Intelligent algorithms e.g. ad-hoc networks, interactive algorithms,
mechanism design, non-classical computing.
- Applied algorithmics e.g. in computational sustainability, computational
sciences, and ICT.
We have a long-standing interest in research in algorithm design and complexity and
its application. See also our research on computation and computational mechanisms in the
Center for Philosophy of
Computer Science (Informatics).
News
- TED: How algorithms shape our
world (Slavin).
- Seminar on algorithmic computational biology: algorithmic computational biology
(2012)
- Seminar on algorithmic game theory: Algorithms, games and the
internet (2011).
- Weblogs:
Computational complexity
(Fortnow & Gasarch), Theory of computation (Lipton),
CS theory (Community),
Algorithmic game theory (Nisan),
Nanoexplanations (Sterling),
Security (Schneier),
Software technology (Meyer),
Combinatorics (Kalai),
Math related (Tao).
- News:
Nature,
Science,
Science Nws Online,
Science Daily,
Science Guide (NL),
Daily Tech,
CNN-Techn,
Europ. Research Area ,
ACM TechnNews,
Computer Science
Forum (Topix),
Kennislink,
W24.nl.
- Research links:
FP7,
Calls,
Framework
Programme,
ERC,
ESF,
ATLANTIS
(EU-US),
CRA - Computing Research Association.
- Research in Europe:
Open Access Infrastructure (OpenAIRE).
- ICT Societies: European Forum
for ICST (old: here).
Publications
Algorithmic pointers and diversions
- Informatics: A fascinating
science (Van Leeuwen, pdf, 2009).
- The algorithm:
idiom of modern science (Chazelle),
complexity and algorithms
(Diaz).
- Great algorithms
(Karp),
algorithms in the real world
(Blelloch), game theory
net.
- On-line
encyclopedia of integer sequences (Sloane),
Random numbers (Haahr).
- Der Algorithmus
der Woche (Fakultaetentag Informatik),
list of algorithms
(Wikipedia),
sorting algorithm animations
(Martin).
- Compendia: complexity
zoo (Aaronson),
NP-optimization problems (Creszenzi and Kann),
parameterized complexity problems (Cesati).
- The most important:
algorithms(Kouchan), programmers
(Wikipedia, see also:
here),
software innovations
(Wheeler).
- The P-versus-NP
page (Woeginger),
Theory Matters
(SIGACT).
- More algorithmic pointers: software, surveys,
courses, books, and so on ..
- Academic skills: writing,
presenting,
refereeing, job searching, and so on ..
Scientific information / Search tools
- Conferences and events:
TCS
conferences and workshops,
conference
search (ETH), lists.
- Journals/Proceedings:
Electronic
journals (Utrecht University),
ACM portal (ACM),
ACM digital lib (ACM),
ACM guide (ACM),
Electronic Colloquium on
Computational Complexity (ECC),
IEEE digital lib
(IEEE),
IEEE proceedings
(IEEE),
Lecture
Notes in Computer Science (LNCS, see also here),
Electronic Notes in TCS
(vol 1 -) ,
Science Direct (Elsevier).
- Collections/Repositories:
- Search engines:
Google,
Quadsearch,
Yahoo,
Zoeken (NL),
Bing,
Wolfram Alpha,
Ask,
Clusty,
Altavista,
Alltheweb,
Information
Literacy (NoodleTools).
- Scientific search engines:
Google Scholar (Google in papers),
Google Books (Google in books),
Academic Search (Microsoft),
Scientific commons (St Gallen),
FreeFullPDF (Sagot),
Scirus ,
CS Structure.
- Scientific search: ISI
Web of knowledge (incl Web of Science)
- Online encyclopedias: Wikipedia,
Scholarpedia,
Mathematics (Weisstein, also
here), NationMaster.
- More scientific search tools:
here.
- Conference rankings:
Computer Science (I),
Computer Science (II).
`Algorithmic Systems'
The term `Algorithmic Systems' was used for the first time in
the First ACM Turing Award Lecture, by Alan J. Perlis in 1966: The
Synthesis of Algorithmic Systems, see J.ACM 14 (1967) 1-9.
Last changed: December 2011.