Contact
| People
| News
| MSc Program `Computing Science
| MSc Programs
| MSc Students
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 competitive IT systems, aiming at
highly effective and efficient algorithmic solutions that exploit
information and structure 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
- MSc degree program in
``Computing Science'' :
2010-2011.
- As of 2010-2011, the MSc programs Applied Computing Science and Software Technology
merge into the `new improved' MSc degree program ``Computing
Science''. Enrollment for 2010-2011 proceeds under this new program.
The current Applied Computing Science and Software Technology curricula continue in the new
program, with more attractive options.
- PhD degree research: in a limited number of positions for graduates.
- Graduate School: Natural
Sciences.
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 ``(Applied) Computing Science'' and the PhD program
of the Utrecht
Institute for ICT Research.
Research
- Intelligent algorithms e.g. ad-hoc networks, interactive and game-driven
algorithms, non-classical computing.
- Computational complexity e.g. fixed parameter complexity, exact algorithms,
kernelization.
- Networks and graphs e.g. algorithmic structure, treewidth, efficient network
algorithms, social networks.
- Algorithmic modelling and simulation e.g. combinatorial optimization,
constraint programming, planning, task scheduling.
- Applied algorithmics e.g. in science, in business, in industry.
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
- Solved:
Rubik's
cube in twenty moves, and how it was done.
- Seminar on algorithmic game theory: Algorithms, games and the
internet (2010).
- Weblogs:
Computational complexity
(Fortnow & Gasarch), Theory of computation (Lipton),
Algorithmic game theory (Nisan),
Combinatorics (Kalai),
Math related (Tao),
Security (Schneier),
Software technology (Meyer),
Theory Matters (SIGACT).
- 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.
- Technology trends:
IKT 2020 - Forschung fuer
Innovation.
Publications
Algorithmic pointers and diversions
- Informatics: A fascinating
science (Van Leeuwen, pdf, 2009).
- The Algorithm: Idiom of Modern
Science (Chazelle).
- 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 P-versus-NP
page (Woeginger).
- The most important:
algorithms(Kouchan), programmers
(Wikipedia, see also:
here),
software innovations
(Wheeler).
- 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: Conference
search (ETH), lists.
- Journals/Proceedings:
Electronic
journals (Utrecht University),
ACM portal (ACM),
ACM digital lib (ACM),
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).
- Repositories: e-Print archive (arXiv),
CoRR (Computing Research
Repository),
computer science
(e-prints),
Electronic Colloquium on
Computational Complexity (ECC).
- Collections:
Computer science bibliography (Trier, see also: old format ),
ResearchIndex
(CiteSeerx) and
NCSTRL (CS technical ref lib),
Collection of
computer science bibliographies.
- Search engines:
Google,
Quadsearch,
Yahoo,
Zoeken (NL),
Bing,
Wolfram Alpha,
Ask,
Clusty,
Altavista,
A9,
Alltheweb,
Information
Literacy (NoodleTools).
- Scientific search engines:
Google Scholar (Google in papers),
Google Book Search (Google in books),
Google Images (Google in figures),
Academic Search (Microsoft),
Scientific commons (St Gallen),
Scirus , Scopus,
CS Structure.
- Scientific search: ISI
Web of knowledge (incl Web of Science)
- Online encyclopedias: Wikipedia,
Wikipedia (NL version),
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: July 2010.