Petri Salmela — Curriculum Vitae
- University of Turku, Department of Mathematics, FI-20014 Turku
- Phone: +358 40 757 9548 (home)
- Email: petri.salmela@iki.fi
- Web: http://www.iki.fi/pesasa/
Personal details:
- Name:
- Petri Samuel Salmela
- Date of birth:
- 15.4.1975
Education:
4/2009
PhD degree, University of Turku, department of
mathematics and Turku Centre for Computer Science (TUCS).
Major subject: mathematics (automata theory, formal languages and combinatorics on words).
Minor subject: computer science
11/2005
PhLic degree in mathematics
11/2002
MSc, University of Turku, Department of Mathematics.
Major subject: mathematics, Minor subjects: computer science, physics
1/1995 – 12/1995
Military service at Finnish coastal artillery.
Graduated as 2nd lieutenant in reserve.
Later promoted as senior 1stlieutenant in reserve.
8/1991 – 5/1994
Matriculation examination, Uudenkaupungin lukio
Employment:
- 9/2000 – 5/2001,
1/2002 – 5/2002,
9/2002 – 5/2003 and
9/2008 – 4/2009
- A part time lecturer and instructor, University of Turku,
Department of Mathematics and Department of Teacher Education in Rauma.
Lectures and exercises on several courses including algebra, analysis, numbertheory, geometry and probability theory.
- 10/2001 – 12/2001
- A part time instructor, University of Turku,
Department of Mathematics. Exercises on basic courses on mathematics and geometry.
- 8/2002 – 12/2003
- First a part time and later a full time research assistant, University of Turku,
Department of Mathematics. Automata and formal language theory.
Research on commutation of rational languages.
- 1/2004 – 4/2009
- TUCS Graduate Research Assistant, Turku Centre for Computer
Science (TUCS) and Department of Mathematics, University of Turku.
- 1/2008 – 4/2008
- A part time researcher University of Turku, Department of Mathematics.
Audit project for pilot of electronic voting in municipal elections.
- 9/2009 –
- Researcher at Åbo Akademi University at Turku, Department of Information Technologies.
Positions of trust
- 1/2005 –
- Member of admin-team of Linux-aktivaattori ry
- 16.9.2006 –
- Member of the board of Linux-aktivaattori ry. The vice chair and
treasurer 16.9.2006 – 29.9.2007.
- 29.9.2007 – 31.12.2009
- The chairman of Linux-aktivaattori ry
Publications:
- 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.
Audit report on pilot electronic voting in municipal elections for Ministry of Justice, Finland.
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
Language skills:
- Finnish, native
- English, fluent
- Swedish, intermediate
- German, intermediate
- Hungarian, beginning
Computer skills:
- Operating systems:
- Linux (Ubuntu, Debian), basic skills on Windows
- Programming languages:
- Javascript, Python, C/C++, bash
- Text processing and layout:
- LaTeX, (X)HTML(5), CSS, OpenOffice.org, Scribus
- Image processing:
- Inkscape, The Gimp
Special skills:
- Automata and formal languages, problem solving skills,
logical thinking, visual eye
Hobbies:
- Sports:
- Floorball, jogging
- Art:
- Drawing, painting, computer art, webdesign
- Computers:
- Free and open source software