Laitoksella on poikkeuksellisesti peräti neljä dosenttihakemusta vireillä samaan aikaan. Dosentin arvoa hakevat Valentin Polishchuk, Jukka Suomela, Petteri Nurmi ja Matti Järvisalo. Hakijoiden lyhyet kuvaukset alempana.

Hakijat pitävät julkiset koeluennot seuraavasti.

Ma 9.1.2012 klo 12:15 Exactumin salissa C222:

• 12:15: Valentin Polishchuk, Shortest paths in polygonal domains
• 12:45: Jukka Suomela, Verkon värittämistä hajautetuilla algoritmeilla

To 19.1.2012 klo 10:15 Exactumin salissa C222:

• 10:15: Petteri Nurmi, Positioning Algorithms
• 10:45: Matti Järvisalo, Toteutuvuustarkastuksesta

Nämä luennot ovat loistava tilaisuus tutustua alan nousevaan polveen ja heidän opetustaitoihinsa.

Valentin Polishchuk received a diploma in Applied Physics and Mathematics from Moscow Institute of Physics and Technology in 1996. In the year 2000, he joined the PhD program in the Department of Applied Mathematics and Statistics at State University of New York at Stony Brook. In 2002, Valentin received Master of Science degree from the department. Valentin defended his Ph.D. theses in Applied Math and Statistics (concentration: Operations Research) in 2007.

Valentin worked as a researcher in the Environmental Modeling Lab of the Nuclear Safety Institute of the Russian Academy of Sciences from 1998 to 2000. He was a teaching assistant at the State University of New York at Stony Brook between 2000 and 2004. From 2004 until the completion of the Ph.D,, he worked as a research assistant in Computational Geometry Lab of the Applied Math and Statistics Department at Stony Brook.

Since 2007, Valentin is a postdoctoral research with the Helsinki Institute for Information Technology and the Department of Computer Science of the University of Helsinki. For the years 2011-2013 he is supported by the Academy of Finland. Valentin’s research areas are optimization, algorithms, and computational geometry with applications in air traffic management, robotics, shape approximation, geographic information systems, wireless sensor networks.

Jukka Suomela työskentelee tutkijatohtorina Tietotekniikan tutkimuslaitos HIITissä. Suomela valmistui maisteriksi vuonna 2005 ja hän väitteli tohtoriksi Helsingin yliopistosta vuonna 2009. Nykyään Suomela tekee tutkimusta HIITin "Uudet laskentaparadigmat" -tutkimusryhmässä. Ryhmä keskittyy teoreettisen tietojenkäsittelytieteen perustutkimukseen, erityisesti tietojenkäsittelytieteen ja matematiikan yhtymäkohtiin sekä vähemmän tutkittuihin laskennan malleihin.

Suomelan oma tutkimusala on laskenta hajautetuissa järjestelmissä. Hajautetun laskennan tutkimuksessa tarkastellaan Internetin kaltaisiin laajoihin tietoverkkoihin liittyviä laskennallisia tehtäviä: esimerkkejä näistä ovat tiedon reitittäminen verkossa lähettäjältä vastaanottajalle sekä verkon rajallisten resurssien jako tehokkaasti käyttäjien kesken. Alan keskeinen tutkimuskysymys on sen ymmärtäminen, mitä laskennallisia tehtäviä voidaan ratkaista verkossa nopeasti. Tietoverkoissa pullonkaulana on usein kommunikaatio; hajautettujen algoritmien suunnittelussa haasteena on ratkaista laskennallinen tehtävä käyttämällä mahdollisimman vähän aikaa verkkolaitteiden väliseen kommunikaatioon.

Suomela lähestyy tutkimuksessaan näitä alan peruskysymyksiä erityisesti ns. paikallisten algoritmien näkökulmasta. Paikallinen algoritmi on hajautettu algoritmi, jossa tietoverkossa olevan laitteen tarvitsee tuntea verkon rakenne ainoastaan omassa lähiympäristössään; tästä huolimatta laitteet pystyvät yhteistyössä ratkaisemaan koko tietoverkkoon liittyvia laskennallisia tehtäviä.

Tutkimusala on kehittynyt nopeasti aivan viime vuosina. Paikallisten algoritmien tutkimus käynnistyi 1990-luvulla, mutta vasta 2000-luvulla on onnistuttu laatimaan erittäin tehokkaita paikallisia algoritmeja useiden tietoverkkoihin liittyvien laskennallisten tehtävien ratkaisemiseen. Suomela on ollut keskeisessä roolissa luomassa kokonaiskuvaa siitä, mitä tehtäviä on mahdollista ratkaista paikallisilla algoritmeilla ja täsmälleen kuinka hyvin. Alalla on kuitenkin edelleen lukuisia avoimia kysymyksiä, joiden parissa kansainvälinen tutkijayhteisö parhaillaankin työskentelee.

Petteri Nurmi syntyi 22.01.1981. Hän valmistui ylioppilaaksi vuonna 2000. Vuoden 2001 hän vietti armeijassa, josta käsin hän aloitti opiskelun Helsingin yliopiston matematiikan laitoksella vuoden 2001 lopulla. Armeijan jälkeen hän jatkoi matematiikan opintojaan ja aloitti tietojenkäsittelytieteen lukemisen syksyllä 2002. Hyvin suoritettujen opintojen seurauksena hänet valittiin tietojenkäsittelytieteen tutkijalinjalle syksyllä 2003. Tämän seurauksena hän vaihtoi vuoden 2004 alussa pääaineekseen tietojenkäsittelytieteen.

Vuodesta 2004 alkaen hän on työskennellyt tietojenkäsittelytieteen tutkimuslaitos HIITissä, ensiksi tutkimusavustajana, sitten tohtorikoulutettavana ja tällä hetkellä tutkijatohtorina. Hän valmistui maisteriksi Helsingin yliopiston tietojenkäsittelytieteen laitokselta 2006, aiheenaan langattomien verkkojen teoreettinen mallintaminen peliteoreettisten menetelmien avulla. Petteri Nurmi valmistui tohtoriksi Helsingin yliopiston tietojenkäsittelytieteen laitokselta vuonna 2009, aiheena merkityksellisten paikkojen tunnistaminen paikkadatasta.

Tietotekniikan tutkimuslaitos HIITissä Petteri Nurmi on työskennellyt Adaptive Computing tutkimusryhmässä, jossa hänellä on ollut keskeinen rooli jokapaikan tietotekniikan tutkimuksen kehittämisessä. Tohtoriopintojen aikana hän vietti kaksi kolmen kuukauden jaksoa tutkimusvaihdossa ulkomailla, ensiksi vuonna 2007 Australian Canberrassa NICTA tutkimuslaitoksella, ja toisen kerran vuonna 2008 Sungkyunkwanin Yliopistossa Seoulissa. Petteri Nurmi oli uudestaan tutkimusvaihdossa Australiassa 2009 – 2010 valmistuttuaan tohtoriksi.

Petteri Nurmen tutkimusalueisiin kuuluu matkapuhelinten keräämän sensoridatan analysointi, mobiilit suosittelupalvelut, mobiilit interaktioteknologiat sekä älykäs tiedonhaku. Erityisesti häntä kiinnostaa miten mobiiliteknologioiden avulla käyttäjiä voidaan tukea arkielämän aktiviteettien suorittamisessa. Hänen opetusalansa liittyvät läheisesti hänen tutkimusalueisiin, esimerkkinä seminaarin pitäminen aiheesta käyttäjämallinnus sekä luentokurssin järjestäminen keväällä 2012 aiheesta paikkatietoisuus (location-awareness). Petteri Nurmen harrastuksiin kuuluvat valokuvaaminen sekä matkustaminen.

Dr. Matti Järvisalo (born 1980, M.Sc.(Tech.) 2004, Lic.Sc.(Tech.) 2007, D.Sc.(Tech.) 2008) is currently a postdoctoral fellow of Academy of Finland at University of Helsinki, Department of Computer Science. He received his doctoral, licentiate's and master's degrees in computer science from Helsinki University of Technology (TKK). After the doctorate he has previously been a postdoctoral researcher in the Computational Logic Group at TKK and a visiting researcher at Institute for Formal Models and Verification, Johannes Kepler University (JKU Linz), Austria.

Järvisalo's main research interests include theoretical and practical aspects of solving computationally hard constraint satisfaction and optimization problems, with an emphasis on efficient Boolean-based decision and optimization procedures and their applications in contemporary and novel real-world problem domains. His recent scientific contributions have resulted for example in some of the world's best practical solvers for the Boolean satisfiability (SAT) problem. Highlighting the importance of such solvers, SAT solvers act as the critical core solving engines in an increasing number of systems developed for various real-world applications. Järvisalo's publications include over 30 internationally peer-reviewed articles published in high-quality journals and conferences.

Järvisalo acts in the scientific program committees of several international conferences, and has been involved in organizing several international events, including JELIA 2010 (as Local Chair), the 2011 SAT Competition, and SWAT 2012. Järvisalo has over 10 years of experience in teaching various basic and advanced courses within the computer science curriculum, including topics such as computational complexity theory, theory of computation, logic in computer science, and discrete optimization. Järvisalo graduated from the TKK YOOP university-level pedagogics program in 2005.

For more information, please see http://www.cs.helsinki.fi/matti.jarvisalo/

Biografiat ja kuvat: hakijat
Toimittaja: Hannu Toivonen