Petri Salmela — Curriculum Vitae

Matematiikan laitos, 20014 Turun yliopisto

Puhelin: 040 757 9548 (koti)

Sähköposti: petri.salmela@iki.fi

Web: http://www.iki.fi/pesasa/

Henkilötiedot:

Nimi:

Petri Samuel Salmela

Syntymäaika:

15.4.1975

Koulutus:

4/2009

Filosofian tohtori, Turun yliopisto, Matematiikan laitos ja Turku Centre for Computer Science (TUCS). Pääaineena matematiikka (automaattien ja formaalien kielten teoria sekä sanojen kombinatoriikka) ja sivuaineena tietojenkäsittelytiede.

11/2005

Filosofian lisensiaatti, Turun yliopisto, Matematiikan laitos.

11/2002

Filosofian maisteri, Turun yliopisto, Matematiikan laitos. Pääaine: matematiikka, Sivuaineet: tietojenkäsittelytiede, fysiikka

1/1995 – 12/1995

Asevelvollisuus rannikkotykistössä. Kotiutuminen joulukuussa 1995 reservin vänrikkinä ja myöhemmin ylennetty reservin yliluutnantiksi.

8/1991 – 5/1994

Ylioppilastutkinto, Uudenkaupungin lukio

Työkokemus:

9/2000 – 5/2001,
1/2002 – 5/2002,
9/2002 – 5/2003 ja
9/2008 – 4/2009

Sivutoiminen tuntiopettaja, Turun yliopisto, Matematiikan laitos ja Rauman opettajankoulutuslaitos. Useiden kurssien luennot ja laskuharjoitukset. Mukaan lukien analyysi, lineaarialgebra, algebran peruskurssi, lukuteoria, geometria ja todennäköisyyslaskennan perusteet.

10/2001 – 12/2001

Osa-aikainen laskuharjoitusten ohjaaja, Turun yliopisto, Matematiikan laitos. Laskuharjoituksia matematiikan perusteiden ja geometrian kursseilla.

8/2002 – 12/2003

Tutkimusassistentti (aluksi osa-aikaisena, sitten täysipäiväisenä), Turun yliopisto, Matematiikan laitos. Automaattien ja formaalien kielten teoria. Tutkimusta rationaalisten kielten kommutoinnista.

1/2004 – 2009

Tutkijakoulutettava Turku Centre for Computer Science (TUCS) -tutkijakoulussa ja Turun yliopiston Matematiikan laitoksella.

1/2008 – 4/2008

Osa-aikainen erikoistutkija Turun yliopisto, matematiikan laitos. Sähköisen äänestämisen pilotin auditointiprojekti.

9/2009 –

Tutkija Åbo Akademi, informaatiotieteiden laitos.

Luottamustehtävät:

1/2005 –

Linux-aktivaattori ry:n palvelimen ylläpitotiimin jäsen.

16.9.2006 – 2014

Linux-aktivaattori ry:n hallituksen jäsen. Varapuheenjohtaja ja rahastonhoitaja 16.9.2006 – 29.9.2007 sekä 1.1.2010 – 29.4.2014.

29.9.2007 – 31.12.2009

Linux-aktivaattori ry:n puheenjohtaja

Julkaisut:

• Karel Culik II, Juhani Karhumäki and Petri Salmela. Fixed Point Approach to Commutation of Languages. In Aspects of Molecular Computing- Essays Dedicated to Tom Head on the Occasion of His 70th Birthday. Jonoska, Natasha; Paun, Gheorghe; Rozenberg, Grzegorz, editors. Volume 2950 of Lecture Notes in Computer Science, chapter no number, pages 119-131. Springer, 2004.
• Paolo Massazza and Petri Salmela. On the Simplest Centralizer of a Language. RAIRO - Theoretical Informatics and Applications, 40(2):295-301, 2006.
• Juhani Karhumäki, Arto Lepistö, Tommi Meskanen, Sami Mäkelä, Hannu Nurmi, Tommi Penttinen, Ari Renvall, Petri Salmela, Seppo Virtanen. Auditointiraportti kunnallisvaalien sähköisen äänestyksen pilotista. TUCS National Publication 15, Turku Centre for Computer Science, 2008, Turku, Finland.
• Julien Cassaigne, Juhani Karhumäki and Petri Salmela. Conjugacy of finite biprefix codes. Theor. Comput. Sci., 410(24-25):2345-2351, 2009

Kielitaito:

• suomi, äidinkieli
• englanti, sujuva
• ruotsi, tyydyttävä
• saksa, tyydyttävä
• unkari, alkeet

Tietotekniikkataidot:

Käyttöjärjestelmät:

Linux (Ubuntu, Debian), Windows-järjestelmien peruskäyttö

Ohjelmointikielet:

Javascript, Python, C/C++, bash

Tekstinkäsittely ja sivuntaitto:

LaTeX, (X)HTML(5), CSS, OpenOffice.org, Scribus

Kuvankäsittely:

Inkscape, The Gimp

Erityisosaaminen:

Automaatit ja formaalit kielet, ongelmanratkaisukyky, looginen päättelykyky, visuaalinen silmä

Harrastukset:

Urheilu:

Sähly, juoksu

Taiteet:

Piirtäminen, maalaaminen, tietokonetaide, www-suunnittelu

Tietokoneet:

Vapaat ja avoimen lähdekoodin ohjelmat ja niiden käyttö