Matti Nykänen
- Mvs. professori (2007-07-31 saakka),
- Tietotekniikan
opettajan suuntatumisvaihtoehdon vastuuhenkilö,
- FT ja dosentti Tietojenkäsittelytieteessä.
- Sen jälkeen aloitan professorina Kuopion yliopiston tietojenkäsittelytieteen laitoksella.
- FT ja dosentti Tietojenkäsittelytieteessä.
- Professor (until 2007-07-31),
- PhD
and docent in Computer Science.
- Thereafter I will start as a professor at the Department of Computer Science, University of Kuopio, Finland.
- Postiosoite (Helsinki):
-
Tietojenkäsittelytieteen laitos
PL 68 (Gustaf Hällströmin katu 2b)
00014 Helsingin yliopisto - Surface mail address (Helsinki):
-
Department of Computer Science
P.O. Box 68 (Gustaf Hällströmin katu 2b)
FIN-00014 University of Helsinki
FINLAND - Postiosoite (Kuopio):
-
Kuopion yliopisto
Tietojenkäsittelytieteen laitos
PL 1627
70211 Kuopio - Surface mail address (Kuopio):
-
University of Kuopio
Dpartment of Computer Science
P.O. Box 1627
FIN-70211 Kuopio - Vastaanotto / office hour:
- Katso ajat (ja mahdolliset muutokset)
aikataulustani.
- See my schedule (in Finnish only, sorry) for times (and possible changes).
- See my schedule (in Finnish only, sorry) for times (and possible changes).
- Sähköposti Helsingissä toimii toistaiseksi:
- e-mail at Helsinki works for now:
matti.nykanen@cs.helsinki.fi
- (Tosin 28.6.-22.7.2007 voin lukea sitä vain epäsäännöllisesti.)
- (However, between June 28th and July 22nd, 2007, I can read it only irregularly.)
- (Tosin 28.6.-22.7.2007 voin lukea sitä vain epäsäännöllisesti.)
- Matkapuhelin (sekä tekstiviestit että vastaaja)
- Mobile phone (with both voice and text message services):
- + 358 40 820 1427
(Please note that I am not the former ski-jumper, so you can stop sending me e-mail requests for signed autographs, etc.)
Opetus / Teaching (all in Finnish)
Syyslukukaudella 2006
- Tieteellisen kirjoittamisen kurssin luennointi.
- Kurssin Johdatus funktionaaliseen ohjelmointiin luennointi (vaihtaen sen ohjelmointikielen SML'97-kielestä Haskell-kieleen).
Aikaisemmilla lukukausilla / previous semesters:
Tietorakenteet-kurssin luennointi.
Koululaisten Datatähti-kilpailun alkukilpailun järjestäminen sekä maajoukkueen valmentaminen kansainvälisiin ohjelmointiolympialaisiin.
Organisering av kvaltävlingen för skolelevernas Datastjärna-tävling.
Seminaari: Tyyppiteoria ja ohjelmointikielet.
Semantic Web -erikoistyö: yliopiston museon virtuaalinäyttely.
Publications
My publications are available on-line from either the publisher (payment may be required) or myself (listed in reverse order of publication):
- Hellis Tamm, Matti Nykänen and Esko Ukkonen: ''On Size Reduction
Techiques for Multitape Automata''. Theoretical
Computer Science 363(2), pages 234-246, 2006.
Journal version of the CIAA 2004 and 2005 conference papers below.
- Hellis Tamm, Matti Nykänen and Esko Ukkonen: ''Size Reduction of Multitape Automata''. In Tenth International Conference on Implementation and Application of Automata (CIAA 2005), pages 307-318, 2006. Springer-Verlag Lecture Notes in Computer Science vol. 3845.
- Matti Nykänen: ''Point-and-Click
Logic''. Informatics in Education 4(1),
pages 87-100, 2005.
Journal version of the Koli Calling 2004 conference paper below.
- Hellis Tamm, Matti Nykänen and Esko Ukkonen: ''Size Reduction of Multitape Automata'' (Poster.) Michael Domaratzki, Alexander Okhotin, Kai Salomaa, et al. (Eds.), Implementation and Application of Automata: 9th International Conference (CIAA 2004) Kingston, Canada, July 22-24, 2004, pages 329-330. Springer-Verlag Lecture Notes in Computer Science vol. 3317.
- Matti Nykänen: ''Point-and-Click Logic''. Kolin kolistelut - Koli Calling 2004. Proceedings of the Fourth Finnish / Baltic Sea Conference on Computer Science Education, pages 75-84.
- Anssi Yli-Jyrä and Matti Nykänen: ''A
Hierarchy of Mildly Context-Sensitive Dependency Grammars''
Electronic Proceedings of The 9th Conference on Formal Grammar
(FGNancy 2004), pages 151-166, 2004.
Errata on pages 101-102 of Anssi's PhD Thesis.
- Matti Nykänen: ''An Incremental Algorithm for DLO Quantifier Elimination via Constraint Propagation'' (Research note.) Artificial Intelligence 160(1-2), pages 173-190, 2004.
- Gösta Grahne, Raul Hakli, Matti Nykänen, Hellis Tamm and Esko Ukkonen:
''Design
and Implementation of a String Database Query Language''.
Information Systems
28(4), pages 311-337, 2003.
(Special issue on bioinformatics and biological data management.)
Joint journal version of the SPIRE 2000, FUSST'99, PADL'99 and COMAD'98 conference papers below.
- Matti Nykänen and Esko Ukkonen:
''The Exact Path
Length Problem''.
Journal of Algorithms
42(1), pages 41-53, 2002.
Journal version of the STACS'99 conference paper below.
- Matti Nykänen:
''Using Acceptors as Transducers''.
J.-M. Champarnaud, D. Maurel and D. Ziadi (eds.),
Automata Implementation, selected papers from
the Third International Workshop on Implementing Automata, WIA'98, Rouen,
Theoretical Computer Science,
267(1/2), October/November 2001, pages 83-104.
Journal version of the WIA'98 conference paper below.
- Raul Hakli, Matti Nykänen and Hellis Tamm: ''Adding String Processing Capabilities to Data Management Systems''. Proceedings of the Seventh International Symposium on String Processing and Information Retrieval (SPIRE 2000), pages 122-131, 2000.
- Gösta Grahne, Matti Nykänen and Esko Ukkonen:
''Reasoning
about Strings in Databases''.
Journal
of Computer and System Sciences 59(1),
pages 116-162, 1999.
Journal version of the PODS'94 conference paper below.
- Raul Hakli, Matti Nykänen and Hellis Tamm: ''A Declarative Programming System for Manipulating Strings''. Proceedings of the Sixth Fenno-Ugric Symposium on Software Technology (FUSST'99) (Sagadi, Estonia, August 19-21, 1999), Tallinn Technical University Institute of Cybernetics Technical Report CS 104/99, pages 29-40.
- Matti Nykänen and Esko Ukkonen: ''Finding Paths with the Right Cost''. 16th Annual Symposium on the Theoretical Aspects of Computer Science (STACS'99), pages 345-355, 1999.
- Raul Hakli, Matti Nykänen, Hellis Tamm, and Esko Ukkonen: ''Implementing a Declarative String Query Language with String Restructuring''. First International Workshop on Practical Aspects of Declarative Languages (PADL'99), pages 179-195, 1999.
- Matti Nykänen: ''Using Acceptors as Transducers''. Automata Implementation - Third International Workshop on Implementing Automata (WIA'98), pages 133-148, 1999.
- Gösta Grahne, Raul Hakli, Matti Nykänen and Esko Ukkonen: ''AQL: An Alignment Based Query Language for Querying String Databases''. Databases for the Millennium 2000: Proceedings of the Ninth International Conference on Management of Data (COMAD'98) (Hyderabad, India, December 16-18, 1998), Tata McGraw-Hill 1999, pages 235-251.
- Matti Nykänen: ''Querying String Databases in Modal Logic''. Research Report A-1997-3, ISBN 951-45-7859-1, ISSN 1238-8645; see also its errata as of March 27th, 1998. This is my PhD thesis. E-mail me if you would like to order it in book form.
- Gösta Grahne and Matti Nykänen: ''Safety, Translation and Evaluation of Alignment Calculus''. Advances in Databases and Information Systems (ADBIS'97), pages 295-304, 1997.
- Gösta Grahne, Matti Nykänen and Esko Ukkonen: ''Reasoning about Strings in Databases''. Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (PODS'94) , pages 303-312, 1994.
- Matti Nykänen and Esko Ukkonen: ''Finding Lowest Common Ancestors in Arbitrarily Directed Trees''. Information Processing Letters 50(6), pages 307-310, 1994.
- We have also displayed a poster at the International Symposium on Theoretical and Computational Genome Research (Heidelberg 1996) and at the DIMACS Computational Biology Conference (Princeton 1996).
Varia
Suomen filharmoninen kuoro (the Finnish Philharmonic Chorus) is the leading Finnish choir for large-scale choral works. My wife Erja is a member.Last modified: Tue Jun 19 17:05:09 EEST 2007