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 responsible teacher 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: N. N.
Programming work:
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: Tohtoriass. 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, 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: Ph. D. 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 19.9.-28.11. Fri 9-11 B450
582445 Distributed Transaction Management (Hajautettujen
transaktioiden
hallinta) (3 cu)
Lectures: Professor (University of Tampere) Jyrki Nummenmaa,
Ph.D. 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: Ph.D. Stefano Campadello, Ph.D. 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: Ph. D. 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. Maximum number of students is 30.
The course gives a concise introduction to context-aware computing. A
context-aware application may automatically adapt to discovered context
by
changing its behaviour. Such adaptation may be triggered by the
computing
environment, the user's location and profile, lightning and temperature,
time
of the day, etc. Useful applications are found in mobile computing and
information retrieval, for example. 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.
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, the times of which will be determined later on.
582447 Topics in Computational Biology (2 cu)
Lectures: 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.
582418 Proof Theory and Proof Search (3 cu)
Lectures: Ph. D. Sara Negri 20.1.-20.4. (ei 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", Sara Negri and Jan 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)
Yliopistonleht. Jukka Manner 17.9.-10.12. Wed 16-18 B453
58303308 Selected Topics in Information Security (2
cu)
Pradip Lamsal Fri 12.9. 10-12, Fri 31.10. 10-12, Fri 12.12. 8-16 A319
58990099 One-dimensional data indexes (2 cu) (?)
D.Sc. Ibrahim Jaluta 99.9.-99.9. Mon 99-99 A999
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)
FT Jan Lindström 19.1.-5.4. ma 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 data indexes (2 cu) (?)
D.Sc. Ibrahim Jaluta 99.9.-99.9. Mon 99-99 A999
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/