mluukkai's picture

Matti Luukkainen

Yliopistonlehtori

Yhteystiedot

Matti.Luukkainen[at]cs.helsinki.fi
http://www.cs.helsinki.fi/u/mluukkai/
D232
(09) 19151233

Kuulustelija kokeisiin

(ilmoittautumiseen)

Ohjelmoinnin perusteet
Introduktion till programmering
Introduction to Programming

  • Register 05.06.2012 (Erilliskoe)

Ohjelmistotekniikan menetelmät
Metoder för programvaruteknik
Methods for Software Engineering

  • Register 12.06.2012 (Erilliskoe)
  • Register 17.08.2012 (Erilliskoe)

Ohjelmistotuotanto
Programvaruutveckling
Software Engineering

  • Register 12.06.2012 (Uusintakoe)
  • Register 21.08.2012 (Erilliskoe)

Ohjelmoinnin jatkokurssi
Avancerad kurs i programmering
Advanced Course in Programming

  • Register 19.06.2012 (Uusintakoe)

Opetus

2013 kevät
Programming Project
Övningsarbete i programmering
Ohjelmoinnin harjoitustyö

  • Vastuuhenkilö

2013 kevät
Advanced Course in Programming
Avancerad kurs i programmering
Ohjelmoinnin jatkokurssi

  • Luennoija, vastuuhenkilö

2013 kevät
Software Engineering
Programvaruutveckling
Ohjelmistotuotanto

  • Luennoija, vastuuhenkilö

2013 kevät
Jobmarketorientation for Software Engineering Lab
Jobmarketorientation för programvaruutvecklingsprojekt
Ohjelmistotuotantoprojektiin liittyvä työelämään orientointi

  • Vastuuhenkilö

2013 kevät
Introduction to Programming
Introduktion till programmering
Ohjelmoinnin perusteet

  • Luennoija, vastuuhenkilö

2013 kevät
Software Engineering Lab
Programvaruutveclingsprojekt
Ohjelmistotuotantoprojekti

  • Vastuuhenkilö

2013 kevät
Programming Project
Övningsarbete i programmering
Ohjelmoinnin harjoitustyö

  • Vastuuhenkilö

2012 syksy
Methods for Software Engineering
Metoder för programvaruteknik
Ohjelmistotekniikan menetelmät

  • Luennoija, vastuuhenkilö

2012 syksy
Programming Project
Övningsarbete i programmering
Ohjelmoinnin harjoitustyö

  • Vastuuhenkilö

2012 syksy
Advanced Course in Programming
Avancerad kurs i programmering
Ohjelmoinnin jatkokurssi

  • Luennoija, vastuuhenkilö

2012 syksy
Software Engineering Lab
Programvaruutveclingsprojekt
Ohjelmistotuotantoprojekti

  • Vastuuhenkilö

2012 syksy
Programming Project
Övningsarbete i programmering
Ohjelmoinnin harjoitustyö

  • Vastuuhenkilö

2012 syksy
Jobmarketorientation for Software Engineering Lab
Jobmarketorientation för programvaruutvecklingsprojekt
Ohjelmistotuotantoprojektiin liittyvä työelämään orientointi

  • Vastuuhenkilö

2012 syksy
Introduction to Programming
Introduktion till programmering
Ohjelmoinnin perusteet

  • Luennoija, vastuuhenkilö

2012 kevät
Software Engineering
Programvaruutveckling
Ohjelmistotuotanto

  • Assistentti
  • Assistentti
  • Luennoija, vastuuhenkilö

2012 kevät
Advanced Course in Programming
Avancerad kurs i programmering
Ohjelmoinnin jatkokurssi

  • Luennoija, vastuuhenkilö

2012 kevät
Introduction to Programming
Introduktion till programmering
Ohjelmoinnin perusteet

  • Luennoija, vastuuhenkilö

2012 kevät
Jobmarketorientation for Software Engineering Lab
Jobmarketorientation för programvaruutvecklingsprojekt
Ohjelmistotuotantoprojektiin liittyvä työelämään orientointi

  • Vastuuhenkilö

2011 syksy
Methods for Software Engineering
Metoder för programvaruteknik
Ohjelmistotekniikan menetelmät

  • Luennoija, vastuuhenkilö
  • Assistentti
  • Assistentti

2011 kevät
Advanced Course in Programming
Avancerad kurs i programmering
Ohjelmoinnin jatkokurssi

  • Luennoija

2011 kevät
Introduction to Programming
Introduktion till programmering
Ohjelmoinnin perusteet

  • Luennoija

2011 kevät
Data Structures
Datastrukturer
Tietorakenteet

  • Luennoija, vastuuhenkilö
  • Assistentti

2010 syksy
Methods for Software Engineering
Metoder för programvaruteknik
Ohjelmistotekniikan menetelmät

  • Assistentti
  • Assistentti
  • Luennoija, vastuuhenkilö

2010 syksy
Data Structures Project
Övningsarbete i datastrukturer
Tietorakenteiden harjoitustyö

  • Ohjaaja

2010 kesä
Programming Project
Övningsarbete i programmering
Ohjelmoinnin harjoitustyö

  • Vastuuhenkilö
  • Ohjaaja

2010 kesä
Data Structures Project
Övningsarbete i datastrukturer
Tietorakenteiden harjoitustyö

  • Assistentti

2010 kevät
Advanced Course in Programming
Avancerad kurs i programmering
Ohjelmoinnin jatkokurssi

  • Assistentti
  • Assistentti

2010 kevät
Data Structures
Datastrukturer
Tietorakenteet

  • Luennoija, vastuuhenkilö
  • Assistentti

2010 kevät
Introduction to Programming
Introduktion till programmering
Ohjelmoinnin perusteet

  • Assistentti
  • Assistentti

2009 syksy
Methods for Software Engineering
Metoder för programvaruteknik
Ohjelmistotekniikan menetelmät

  • Assistentti
  • Luennoija, vastuuhenkilö
  • Assistentti

2009 syksy
Software Engineering Lab
Programvaruutveclingsprojekt
Ohjelmistotuotantoprojekti

  • Ohjaaja
  • Vastuuhenkilö

2009 kevät
Advanced Course in Programming
Avancerad kurs i programmering
Ohjelmoinnin jatkokurssi

  • Assistentti

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

  • Luennoija, vastuuhenkilö

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

  • Luennoija, vastuuhenkilö

2004 syksy
Data Structures
Datastrukturer
Tietorakenteet

  • Assistentti
  • Luennoija, vastuuhenkilö

2004 kevät
Models for Programming and Computing
Modeller för programmering och kalkylering
Ohjelmoinnin ja laskennan perusmallit

  • Assistentti
  • Luennoija, vastuuhenkilö

2004 kevät
Data Structures
Datastrukturer
Tietorakenteet

  • Luennoija, vastuuhenkilö

2004 syksy
Tutoring
Lärarhandledning
Opettajatuutorointi

  • Assistentti

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

  • Luennoija, vastuuhenkilö

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

  • Luennoija, vastuuhenkilö

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

  • Luennoija, vastuuhenkilö

2003 kevät
Models for Programming and Computing
Modeller för programmering och kalkylering
Ohjelmoinnin ja laskennan perusmallit

  • Luennoija, vastuuhenkilö

2002 syksy
Theory of Computation
Beräkningsteori
Laskennan teoria

  • Assistentti
  • Assistentti

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

  • Assistentti
  • Assistentti
  • Luennoija, vastuuhenkilö

2002 kevät
Automatic Verification
Automatisk verifikation
Automaattinen verifiointi

  • Assistentti
  • Luennoija, vastuuhenkilö

2001 syksy
Verification and Derivation of Algorithms
Verifiering och derivering av algoritmer
Algoritmien oikeellisuus ja johtaminen

  • Assistentti
  • Luennoija, vastuuhenkilö

2001 kevät
Automatic Verification
Automatisk verifikation
Automaattinen verifiointi

  • Assistentti
  • Luennoija, vastuuhenkilö

2001 kevät
Tutoring
Lärarhandledning
Opettajatuutorointi

  • Ohjaaja

Julkaisut

Julkaisut on kerätty TUHAT-tietokannan profiilista.

2012

A Software Craftsman's Approach to Data Structures

Luukkainen, M., Vihavainen, A. & Vikberg, T. 29.02.2012 p. 439-444. 6 p.

Publication: Conference contribution › A4 Article in conference publication (refereed)

2011

Extreme apprenticeship method in teaching programming for beginners

Vihavainen, A., Paksula, M. & Luukkainen, M. 09.03.2011 p. 93-98. 6 p.

Publication: Conference contribution › A4 Article in conference publication (refereed)

Extreme Apprenticeship Method: key practices and upward scalability

Vihavainen, A., Paksula, M., Luukkainen, M. & Kurhila, J. 25.06.2011 p. 273-277. 5 p.

Publication: Conference contribution › A4 Article in conference publication (refereed)

2009

Ohjelmistojärjestelmien mallinnuksen oppimisen edistäminen opetusteknologiaa käyttäen

Duus, S., Kaivola, T., Kavonen, A., Kurhila, J., Kutvonen, L., Laine, H., Luukkainen, M. & Ruokolainen, T. 2009 Tietojenkäsittelytieteen päivät 2009. B. B. V. L. [. (ed.). Turku : Turku Centre for Computer Science, (TUCS national publication).

Publication: Contribution to book/anthology › A3 Contribution to book/other compilations (refereed)

Ohjelmistojärjestelmien mallinnuksen oppimisen edistäminen opetusteknologiaa käyttäen

Duus, S., Kaivola, T., Kavonen, A., Kurhila, J., Kutvonen, L., Laine, H., Luukkainen, M. & Ruokolainen, T. 2009 Tietojenkäsittelytieteen päivät 2009. B. B. V. L. [. (ed.). Turku : Turku Centre for Computer Science, (TUCS national publication).

Publication: Contribution to book/anthology › A3 Contribution to book/other compilations (refereed)

2005

Experiences in using SDL to support the desing and implementation of a logical link layer protocol

Luukkainen, M., Kojo, M. & Daniel, L. 2005 p. 187-197. 11 p.

Publication: Conference contribution › A4 Article in conference publication (refereed)

Experiences in using SDL to support the desing and implementation of a logical link layer protocol

Luukkainen, M., Kojo, M. & Daniel, L. 2005 p. 187-197. 11 p.

Publication: Conference contribution › A4 Article in conference publication (refereed)

Verifying a UMTS Protocol Using Spin and EASN

Luukkainen, M., Shanbhag, V. K. & Gopinath, K. 2005 In : Electronic Notes in Theoretical Computer Science. 118, p. 71-85. 14 p.

Publication: Conference contribution › A4 Article in conference publication (refereed)

Verifying a UMTS Protocol Using Spin and EASN

Luukkainen, M., Shanbhag, V. K. & Gopinath, K. 2005 In : Electronic Notes in Theoretical Computer Science. 118, p. 71-85. 14 p.

Publication: Conference contribution › A4 Article in conference publication (refereed)