Most courses are offered in Finnish. Some courses are offered in English both at the basic level (Cum Laude Approbatur, years 1 to 3) and at the advanced or post-graduate level (Laudatur). Some courses will be taught by foreign visitors at the department, some by native Finns.
Most examinations, at all levels, can be taken in English if so requested. The examination material will be available in English in such cases. Please contact the teacher responsible for the course two weeks in advance.
All the information here is preliminary. For detailed, up-to-date information please refer to the departmental bulletin boards at the beginning of each semester, the web page http://www.cs.helsinki.fi/instr.engl/fsa/ or contact the Departmental Student Counselling Office, room B439 (4th floor), Department of Computer Science, Teollisuuskatu 23, tel. 191 44222.
At least the following courses are offered in English (lectures, exercise groups etc.) this academic year:
AUTUMN 2003
58127 Programming in C (2 cu)
Lectures: Teacher Krishnan Narayanan 29.10.-5.12. Wed 10-12, Fri 12-14
Auditorio
We learn how to program in ANSI C. Prerequisites:
Introduction to Programming, Programming in Java, Programming
Project or corresponding programming skills. Students are also recommended to have
completed (or to take at the same time) the course Data Structures.
The course can be completed without these prerequisites but will in that
case require a lot of additional work.
Course literature: Müldner T.: C for Java Programmers, Addison Wesley, 2000.
581366 An Introduction to Specification and Verification (2 cu)
Lectures: PhD Assistant Matti Luukkainen 24.9.-26.11. Wed 14-16 C454
Introduction to formal methods for specifying and verifying concurrent
systems. The course takes the form of a seminar and students are expected to
participate actively.
Course reading: Doron Peled: Software reliability methods, Springer, 2001.
582439 Graphical Models (3 cu)
Lectures: Professor Petri Myllymäki, PhD Wray Buntine 31.10.-5.12.
Fri 10-13 A320
During the last decade probabilistic graphical models have become an
important modeling formalism in statistics, adaptive and learning
systems in computer science and in information theory. This course
provides an introduction to probabilistic modeling with graphical models
with an emphasis on applications in machine learning, uncertain
reasoning and information retrieval.
582443 Game Theoretic Concepts in Computer Science (3 cu)
Lectures: PhD Floris Geerts 16.9.-6.11. Tue 12-14, Wed 12-14 A414
This course covers techniques in the interface between algorithms and
game theory. Topics will include Nash equilibrium, refinements of
equilibrium concepts, mechanism design, worst-case equilibria and "the
price of anarchy", combinatorial auctions, evolutionary game theory
and repeated games and economic aspects of the structure of the Internet
graph, privacy and clustering. Project work will be part of the course.
582438 Middleware Standards for Mobile Computing (2 cu)
Lectures: Professor Kimmo Raatikainen 12.9.-28.11. Fri 9-11 B450
The course examines recent developments from several standardization
forums including Open Mobile Alliance, W3C, Java Community Process,
OASIS, and Liberty Alliance Project.
582445 Distributed Transaction Management (Hajautettujen transaktioiden
hallinta) (3 cu)
Lectures: Professor (University of Tampere) Jyrki Nummenmaa,
PhD Jan Lindström 7.10.-25.11. (not 21.10.) Tue 10-12 A217
The course deals with problems in distributed transaction management.
The topics include basic transaction management, commit protocols, lock
management, Internet transaction management and methods for managing
long transactions such as design transactions.
The course is arranged in a national video-based virtual university
project (OSCu).
582449 Peer-to-peer Computing (2-3 cu)
Lectures: PhD Stefano Campadello, PhD Heikki Helin 11.9.-4.12.
Thu 16-18 A414
The course covers general introduction to peer-to-peer computing,
including models, techniques, and algorithms for peer-to-peer
architectures. Additionally, several case studies of peer-to-peer
architectures will be presented. The course offers the opportunity to
participate in an optional project work (1 cu).
582444 Special Course on Data Mining (Tiedon louhinnan erikoiskurssi) (3 ov)
Lectures: PhD Bart Goethals 29.10.-4.12. Wed 12-14, Thu 12-14 A217
The course focuses on the discovery of frequent patterns. Association
rules. Apriori algorithm. Episodes. Levelwise search. Complexity of
finding frequent patterns. Closed sets and generators.
The course will include a project work.
582446 Context-Aware Computing (3 cu)
Lectures: Research Coordinator Patrik Floréen, Research Coordinator Greger
Lindén, Professor Henry Tirri, Professor Hannu Toivonen 15.9.-24.9. Mon
16-18 A414, Wed 16-18 A414, 27.10. Mon 16-18 A414, 20.11.-21.11. Thu
9-16 A320, Fri 9-16 A414. The maximum number of students is 30.
The course gives a concise introduction to context-aware computing. A
context-aware application may automatically adapt to the discovered context by
changing its behaviour. The course consists of introductory
lectures, group work and student presentations.
SPRING 2004
581384 Introduction to the Use of Computers (2 cu)
Lectures: Teacher Krishnan Narayanan 20.1.-23.3. Tue 12-14 A215
This basic course gives a practical introdution to the use of computers. It covers such areas as the basics of Unix and Windows, WWW and HTML,
e-mail, news groups, text and image processing and spreadsheet computation. The course gives essential background for further computer science
courses.
581328 Introduction to Databases (2 cu)
Teacher: Lecturer Harri Laine 21.1.-25.2. Wed 10-12 Auditorium
The course will explain the basic concepts of databases, what databases
are, and how they are used. It concentrates on relational databases.
The main emphasis is on the SQL database language.
A short introduction to the design of relational databases is included.
The course is mainly based on e-learning material. There are only a couple of
lectures, covering the most essential topics.
582447 Topics in Computational Biology (2 cu)
Lectures: Academy Professor Esko Ukkonen 21.1.-26.2. Wed 10-12, Thu 10-12 A217
The course covers algorithmic methods for some data analysis
problems of current interest in computational biology.
582450 Modelling of Perception (3 cu)
Lectures: Docent Aapo Hyvärinen, Professor Jouko Lampinen (HUT),
PhD Kaisa Tiippana (HUT).
The course will be arranged
in cooperation with the Helsinki University of Technology.
The schedule will be indicated later; part of the lectures will be
held in Otaniemi.
The topics of the course are mechanisms and modelling of human perception.
The emphasis is on modelling of visual feature extraction,
and modelling of object and scene recognition.
The human visual system and other topics dealing with modelling of
visual perception are also included.
The course is most suitable to students specializing in bioinformatics or intelligent systems.
582418 Proof Theory and Proof Search (3 cu)
Lectures: PhD Sara Negri 20.1.-20.4. (not 2.3.) Tue 10-12 Päärakennus sali XI
The course gives a concise introduction to the central methods and
results of structural proof theory. Special emphasis is given to the
design of logical calculi supporting proof-search. The course includes
exercise and demo sessions with the use of an interactive proof-editor
for sequent calculus. Expected background is an introductory course in
logic.
Course literature: "Structural Proof Theory", S. Negri and J. von
Plato, Cambridge U.P. 2001.
582407 Software Agent Technology (3 cu)
Lectures: Professor (University of Tampere) Roope Raisamo and
Ph. Lic. Heimo Laamanen 19.1.-10.5. Mon 14-16 B450
The course provides students with a basic knowledge of software
agent
technology, dealing with software agents (different specifications,
architectures, programming languages), communication between software
agents, software agent platforms, ontologies and software agent
applications. The course consists of lectures and exercises, and
is carried out in a national video-based virtual university
project (OSCu).
582442 Web Services Architecture (4 cu)
Lectures: Project Manager Suresh Chande 19.1.-18.3. Mon 16-18, Thu 16-18 B450
This course introduces the different Web Architectures and gives an
in-depth understanding of the various current and upcoming Web Service
technologies in the Web Services arena. Strengths and pitfalls of the
technologies will be covered too.
The following courses will be lectured in Finnish but we have prepared to offer an exercise group in English during the term indicated below:
AUTUMN 2003
SPRING 2004
For other courses, an exercise group in English or some other advice might be available according to demand.
The following seminars are offered in English:
AUTUMN 2003
58303301 Algorithms for Ad Hoc Networking (2 cu)
Research Coordinator Patrik Floréen 15.9.-8.12. Mon 10-12 A320
58303307 Transport of Multimedia Streams in the Wireless
Internet (2 cu)
University Lecturer Jukka Manner 17.9.-10.12. Wed 16-18 B453
58303308 Selected Topics in Information Security (2 cu)
M.Sc. (Tech.) Pradip Lamsal Fri 12.9. 10-12, Fri 31.10. 10-12,
Fri 12.12. 8-16 A319
58303314 Concurrency Control and Recovery in Database Index
Structures (2 cu)
D.Sc. (Tech.) Ibrahim Jaluta 15.9.-8.12. Mon 14-16 A320
SPRING 2004
58304106 Research Seminar on Hot Topics in Internet Protocols (2 cu)
Prof. Kimmo Raatikainen, first meeting Tue 20.1. 16-18 C454
58304111 Research Seminar on Transaction Processing (2 cu)
PhD Jan Lindström 19.1.-5.4. Mon 16-18 B453
Course reading: Weikum, G., and Bossen G.: Transactional Information Systems.
Theory, Algorithms and the Practice of Concurrency Control and Recovery.
Morgan Kaufmann Publishers, 2001.
58304112 Research Themes in Context-Aware Computing (2 cu)
Research Coordinator Greger Lindén 13.1.-4.5. Tue 10-12 A320
58990099 Multidimensional Access Methods in Databases
(2 cu)
D.Sc. (Tech.) Ibrahim Jaluta 21.1.-5.5. Mon 12-14 A320
Foreign Student Advisor:
Dept of Computer Science
P.O. Box 26 (Teollisuuskatu 23)
FIN-00014 University of Helsinki
Finland
fax. +358 9 191 44441
E-mail: fsa@cs.Helsinki.fi
http://www.cs.Helsinki.fi/instr.engl/