| Department of Computer Science

Address: Department of Computer Science, P.O. 68 (Gustaf Hällströmin katu 2b), FI-00014 UNIVERSITY OF HELSINKI, FINLAND
Opening Hours: During spring and autumn semesters Mon - Fri 7.45 - 19.45 (7.45 am - 7.45 pm)
Phone: +358 9 1911 (University switch)
General e-mail: info [at] cs.helsinki.fi
Fax: +358 9 1915 1120

Department of Computer Science

University of Helsinki

Faculty of Science

Timo Karvi

Contact Information

Examiner for exams

Cryptography and Network SecurityCryptography and Network SecurityCryptography and Network Security

Tietoturvan perusteetIntroduktion till datasäkerhetIntroduction to Computer Security

Teaching

2014 spring Introduction to Computer Security Introduktion till datasäkerhet Tietoturvan perusteet

2013 autumn Cryptography and Network Security Cryptography and Network Security Cryptography and Network Security

2013 autumn Programming in C Programmering i C C-ohjelmointi

2013 spring Introduction to Computer Security Introduktion till datasäkerhet Tietoturvan perusteet

2012 autumn Cryptography and Network Security Cryptography and Network Security Cryptography and Network Security

2012 autumn Programming in C Programmering i C C-ohjelmointi

2012 spring Introduction to Computer Security Introduktion till datasäkerhet Tietoturvan perusteet

2012 spring BSc Thesis (Scientific Writing) Kandidat upsats Kandidaatintutkielma

2011 autumn Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2011 autumn Programming in C Programmering i C C-ohjelmointi

2011 spring Introduction to Computer Security Introduktion till datasäkerhet Tietoturvan perusteet

2011 spring Seminar: Security Testing Seminaari: Tietoturvan testaus Seminaari: Tietoturvan testaus

2010 autumn Cryptography and Network Security Cryptography and Network Security Cryptography and Network Security

2010 autumn Programming in C Programmering i C C-ohjelmointi

2010 autumn BSc Thesis (Scientific Writing) Kandidat upsats Kandidaatintutkielma

2010 spring Introduction to Computer Security Introduktion till datasäkerhet Tietoturvan perusteet

2009 autumn Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2009 autumn BSc Thesis (Scientific Writing) Kandidat upsats Kandidaatintutkielma

2009 spring Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2009 spring Scientific Writing Att skriva vetenskaplig text Tieteellisen kirjoittamisen kurssi

2008 autumn Computer Security Datasäkerhet Tietoturva

2008 autumn Scientific Writing Att skriva vetenskaplig text Tieteellisen kirjoittamisen kurssi

2008 spring Complexity of Computation Komplexitet av beräkning Laskennan vaativuus

2008 spring Scientific Writing Att skriva vetenskaplig text Tieteellisen kirjoittamisen kurssi

2007 autumn Computer Security Datasäkerhet Tietoturva

2007 autumn Seminar: Distributed Algorithms Seminar: Distribuerade algoritmer Seminaari: Hajautetut algoritmit

2007 spring Complexity of Computation Komplexitet av beräkning Laskennan vaativuus

2007 spring Seminaari: Monen osapuolen protokollat Seminaari: Monen osapuolen protokollat Seminaari: Monen osapuolen protokollat

2006 autumn Computer Security Datasäkerhet Tietoturva

2006 spring Network Security Nätverk säkerhet Verkkojen tietoturva

2005 autumn Computer Security Datasäkerhet Tietoturva

2005 autumn Models for Programming and Computing Modeller för programmering och kalkylering Ohjelmoinnin ja laskennan perusmallit

2005 autumn Formal Modeling and Verification r Formaali mallintaminen ja verifiointi

2005 spring Advanced Course on Specification and Verification Fortsättningskurs för specificering och verifiering Spesifioinnin ja verifioinnin jatkokurssi

2005 spring Tietoturva: luottamus ja varmuus r Tietoturva: luottamus ja varmuus

2004 autumn Cryptography and Network Security Cryptography and Network Security Cryptography and Network Security

2004 spring Computer Security Datasäkerhet Tietoturva

2004 spring Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2003 spring Computer Security Datasäkerhet Tietoturva

2003 spring e s Tietoturvallisuus nykyaikaisessa liiketoimintaympäristössä

2002 autumn Data Structures and Algorithms Datastrukturer och algoritmer Tietorakenteet ja algoritmit

2002 spring Computer Security Datasäkerhet Tietoturva

2002 spring Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2001 autumn Data Structures and Algorithms Datastrukturer och algoritmer Tietorakenteet ja algoritmit

2001 spring Programming in Java Java-programmering Java-ohjelmointi

2001 spring Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2001 spring Tutoring Lärarhandledning Opettajatuutorointi

2001 spring Advance registration for seminars Förhandsanmälan till seminarierna Seminaarien ennakkoilmoittautuminen

Cryptography and Network Security
Cryptography and Network Security
Cryptography and Network Security

Tietoturvan perusteet
Introduktion till datasäkerhet
Introduction to Computer Security

2014 spring
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2013 autumn
Cryptography and Network Security

Cryptography and Network Security

Cryptography and Network Security

2013 autumn
Programming in C

Programmering i C

C-ohjelmointi

2013 spring
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2012 autumn
Cryptography and Network Security

Cryptography and Network Security

Cryptography and Network Security

2012 autumn
Programming in C

Programmering i C

C-ohjelmointi

2012 spring
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2012 spring
BSc Thesis (Scientific Writing)

Kandidat upsats

Kandidaatintutkielma

2011 autumn
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2011 autumn
Programming in C

Programmering i C

C-ohjelmointi

2011 spring
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2011 spring
Seminar: Security Testing

Seminaari: Tietoturvan testaus

Seminaari: Tietoturvan testaus

2010 autumn
Cryptography and Network Security

Cryptography and Network Security

Cryptography and Network Security

2010 autumn
Programming in C

Programmering i C

C-ohjelmointi

2010 autumn
BSc Thesis (Scientific Writing)

Kandidat upsats

Kandidaatintutkielma

2010 spring
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2009 autumn
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2009 autumn
BSc Thesis (Scientific Writing)

Kandidat upsats

Kandidaatintutkielma

2009 spring
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2009 spring
Scientific Writing

Att skriva vetenskaplig text

Tieteellisen kirjoittamisen kurssi

2008 autumn
Computer Security

Datasäkerhet

Tietoturva

2008 autumn
Scientific Writing

Att skriva vetenskaplig text

Tieteellisen kirjoittamisen kurssi

2008 spring
Complexity of Computation

Komplexitet av beräkning

Laskennan vaativuus

2008 spring
Scientific Writing

Att skriva vetenskaplig text

Tieteellisen kirjoittamisen kurssi

2007 autumn
Computer Security

Datasäkerhet

Tietoturva

2007 autumn
Seminar: Distributed Algorithms

Seminar: Distribuerade algoritmer

Seminaari: Hajautetut algoritmit

2007 spring
Complexity of Computation

Komplexitet av beräkning

Laskennan vaativuus

2007 spring
Seminaari: Monen osapuolen protokollat

Seminaari: Monen osapuolen protokollat

Seminaari: Monen osapuolen protokollat

2006 autumn
Computer Security

Datasäkerhet

Tietoturva

2006 spring
Network Security

Nätverk säkerhet

Verkkojen tietoturva

2005 autumn
Computer Security

Datasäkerhet

Tietoturva

2005 autumn
Models for Programming and Computing

Modeller för programmering och kalkylering

Ohjelmoinnin ja laskennan perusmallit

2005 autumn
Formal Modeling and Verification

r

Formaali mallintaminen ja verifiointi

2005 spring
Advanced Course on Specification and Verification

Fortsättningskurs för specificering och verifiering

Spesifioinnin ja verifioinnin jatkokurssi

2005 spring
Tietoturva: luottamus ja varmuus

r

Tietoturva: luottamus ja varmuus

2004 autumn
Cryptography and Network Security

Cryptography and Network Security

Cryptography and Network Security

2004 spring
Computer Security

Datasäkerhet

Tietoturva

2004 spring
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2003 spring
Computer Security

Datasäkerhet

Tietoturva

2003 spring
e

s

Tietoturvallisuus nykyaikaisessa liiketoimintaympäristössä

2002 autumn
Data Structures and Algorithms

Datastrukturer och algoritmer

Tietorakenteet ja algoritmit

2002 spring
Computer Security

Datasäkerhet

Tietoturva

2002 spring
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2001 autumn
Data Structures and Algorithms

Datastrukturer och algoritmer

Tietorakenteet ja algoritmit

2001 spring
Programming in Java

Java-programmering

Java-ohjelmointi

2001 spring
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2001 spring
Tutoring

Lärarhandledning

Opettajatuutorointi

2001 spring
Advance registration for seminars

Förhandsanmälan till seminarierna

Seminaarien ennakkoilmoittautuminen