Digital Systems Laboratory
Digital Systems Laboratory is one of the three laboratories of
Department of Computer Science.
Its research belongs to the domain of theoretical computer science,
main subjects are concurrency, parallel and distributed systems
(especially related to Petri nets),
coding theory, and theory of knowledge representation and reasoning.
The laboratory contributes to the undergraduate curriculum in
Computer Science and Engineering by giving the basic courses in the theory
of computation, including topics like automata and formal language theory,
computability, parallel and distributed systems.
A major emphasis of the laboratory is on postgraduate education in CS, which
is mainly carried out in research projects funded by the Academy of Finland
and the Technology Development Center.
The laboratory is one of the organizers of
Helsinki Graduate School in Computer Science and Engineering (HeCSE).
Documents
Personnel
Courses
Last update: January 31, 1995. Server statistics