| Tietojenkäsittelytieteen laitos

Osoite: Tietojenkäsittelytieteen laitos, PL 68 (Gustaf Hällströmin katu 2b), 00014 Helsingin yliopisto
Aukioloajat: Normaalisti syys- ja kevätlukukausien aikana ma - pe klo 7.45-19.45.
Puhelin: (09) 1911 (yliopiston vaihde)
Sähköposti: Palveluosoitteet
Faksi: (09) 1915 1120

Kirjaudu sivulle | Webmaster

Tietojenkäsittelytieteen laitos

Helsingin Yliopisto

Matemaattis-luonnontieteellinen tiedekunta

Timo Karvi

Yhteystiedot

Kuulustelija kokeisiin

Cryptography and Network SecurityCryptography and Network SecurityCryptography and Network Security

Tietoturvan perusteetIntroduktion till datasäkerhetIntroduction to Computer Security

Opetus

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

2013 syksy Cryptography and Network Security Cryptography and Network Security Cryptography and Network Security

2013 syksy Programming in C Programmering i C C-ohjelmointi

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

2012 syksy Cryptography and Network Security Cryptography and Network Security Cryptography and Network Security

2012 syksy Programming in C Programmering i C C-ohjelmointi

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

2012 kevät BSc Thesis (Scientific Writing) Kandidat upsats Kandidaatintutkielma

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

2011 syksy Programming in C Programmering i C C-ohjelmointi

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

2011 kevät Seminar: Security Testing Seminaari: Tietoturvan testaus Seminaari: Tietoturvan testaus

2010 syksy Cryptography and Network Security Cryptography and Network Security Cryptography and Network Security

2010 syksy Programming in C Programmering i C C-ohjelmointi

2010 syksy BSc Thesis (Scientific Writing) Kandidat upsats Kandidaatintutkielma

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

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

2009 syksy BSc Thesis (Scientific Writing) Kandidat upsats Kandidaatintutkielma

2009 kevät Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2009 kevät Scientific Writing Att skriva vetenskaplig text Tieteellisen kirjoittamisen kurssi

2008 syksy Computer Security Datasäkerhet Tietoturva

2008 syksy Scientific Writing Att skriva vetenskaplig text Tieteellisen kirjoittamisen kurssi

2008 kevät Complexity of Computation Komplexitet av beräkning Laskennan vaativuus

2008 kevät Scientific Writing Att skriva vetenskaplig text Tieteellisen kirjoittamisen kurssi

2007 syksy Computer Security Datasäkerhet Tietoturva

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

2007 kevät Complexity of Computation Komplexitet av beräkning Laskennan vaativuus

2007 kevät Seminaari: Monen osapuolen protokollat Seminaari: Monen osapuolen protokollat Seminaari: Monen osapuolen protokollat

2006 syksy Computer Security Datasäkerhet Tietoturva

2006 kevät Network Security Nätverk säkerhet Verkkojen tietoturva

2005 syksy Computer Security Datasäkerhet Tietoturva

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

2005 syksy Formal Modeling and Verification r Formaali mallintaminen ja verifiointi

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

2005 kevät Tietoturva: luottamus ja varmuus r Tietoturva: luottamus ja varmuus

2004 syksy Cryptography and Network Security Cryptography and Network Security Cryptography and Network Security

2004 kevät Computer Security Datasäkerhet Tietoturva

2004 kevät Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2003 kevät Computer Security Datasäkerhet Tietoturva

2003 kevät e s Tietoturvallisuus nykyaikaisessa liiketoimintaympäristössä

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

2002 kevät Computer Security Datasäkerhet Tietoturva

2002 kevät Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

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

2001 kevät Programming in Java Java-programmering Java-ohjelmointi

2001 kevät Introduction to Specification and Verification Grunderna i specificering och verifiering Spesifioinnin ja verifioinnin perusteet

2001 kevät Tutoring Lärarhandledning Opettajatuutorointi

2001 kevät 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 kevät
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2013 syksy
Cryptography and Network Security

Cryptography and Network Security

Cryptography and Network Security

2013 syksy
Programming in C

Programmering i C

C-ohjelmointi

2013 kevät
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2012 syksy
Cryptography and Network Security

Cryptography and Network Security

Cryptography and Network Security

2012 syksy
Programming in C

Programmering i C

C-ohjelmointi

2012 kevät
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2012 kevät
BSc Thesis (Scientific Writing)

Kandidat upsats

Kandidaatintutkielma

2011 syksy
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2011 syksy
Programming in C

Programmering i C

C-ohjelmointi

2011 kevät
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2011 kevät
Seminar: Security Testing

Seminaari: Tietoturvan testaus

Seminaari: Tietoturvan testaus

2010 syksy
Cryptography and Network Security

Cryptography and Network Security

Cryptography and Network Security

2010 syksy
Programming in C

Programmering i C

C-ohjelmointi

2010 syksy
BSc Thesis (Scientific Writing)

Kandidat upsats

Kandidaatintutkielma

2010 kevät
Introduction to Computer Security

Introduktion till datasäkerhet

Tietoturvan perusteet

2009 syksy
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2009 syksy
BSc Thesis (Scientific Writing)

Kandidat upsats

Kandidaatintutkielma

2009 kevät
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2009 kevät
Scientific Writing

Att skriva vetenskaplig text

Tieteellisen kirjoittamisen kurssi

2008 syksy
Computer Security

Datasäkerhet

Tietoturva

2008 syksy
Scientific Writing

Att skriva vetenskaplig text

Tieteellisen kirjoittamisen kurssi

2008 kevät
Complexity of Computation

Komplexitet av beräkning

Laskennan vaativuus

2008 kevät
Scientific Writing

Att skriva vetenskaplig text

Tieteellisen kirjoittamisen kurssi

2007 syksy
Computer Security

Datasäkerhet

Tietoturva

2007 syksy
Seminar: Distributed Algorithms

Seminar: Distribuerade algoritmer

Seminaari: Hajautetut algoritmit

2007 kevät
Complexity of Computation

Komplexitet av beräkning

Laskennan vaativuus

2007 kevät
Seminaari: Monen osapuolen protokollat

Seminaari: Monen osapuolen protokollat

Seminaari: Monen osapuolen protokollat

2006 syksy
Computer Security

Datasäkerhet

Tietoturva

2006 kevät
Network Security

Nätverk säkerhet

Verkkojen tietoturva

2005 syksy
Computer Security

Datasäkerhet

Tietoturva

2005 syksy
Models for Programming and Computing

Modeller för programmering och kalkylering

Ohjelmoinnin ja laskennan perusmallit

2005 syksy
Formal Modeling and Verification

r

Formaali mallintaminen ja verifiointi

2005 kevät
Advanced Course on Specification and Verification

Fortsättningskurs för specificering och verifiering

Spesifioinnin ja verifioinnin jatkokurssi

2005 kevät
Tietoturva: luottamus ja varmuus

r

Tietoturva: luottamus ja varmuus

2004 syksy
Cryptography and Network Security

Cryptography and Network Security

Cryptography and Network Security

2004 kevät
Computer Security

Datasäkerhet

Tietoturva

2004 kevät
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2003 kevät
Computer Security

Datasäkerhet

Tietoturva

2003 kevät
e

s

Tietoturvallisuus nykyaikaisessa liiketoimintaympäristössä

2002 syksy
Data Structures and Algorithms

Datastrukturer och algoritmer

Tietorakenteet ja algoritmit

2002 kevät
Computer Security

Datasäkerhet

Tietoturva

2002 kevät
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2001 syksy
Data Structures and Algorithms

Datastrukturer och algoritmer

Tietorakenteet ja algoritmit

2001 kevät
Programming in Java

Java-programmering

Java-ohjelmointi

2001 kevät
Introduction to Specification and Verification

Grunderna i specificering och verifiering

Spesifioinnin ja verifioinnin perusteet

2001 kevät
Tutoring

Lärarhandledning

Opettajatuutorointi

2001 kevät
Advance registration for seminars

Förhandsanmälan till seminarierna

Seminaarien ennakkoilmoittautuminen