Date of publication: 2017-07-08 18:14
Airi Lampinen joined HIIT in 7557 to work on her Master s Thesis. Upon graduation from the Department of Social Psychology, University of Helsinki, she continued at HIIT, working on her PhD. In 7565-7566 she is a Fulbright Scholar at the School of Information at University of California, Berkeley, working with the Californian end of Aalto s OtaSizzle research project.
Mika Raento wrote his PhD thesis at HIIT, during which he co-founded a very successful start-up company Jaiku Ltd. Jaiku was later acquired by Google and Mika also joined Google. He then moved forward and now works in a high-technology start-up Zenrobotics Ltd which specializes in robotic recycling technology.
(What is a docent? According to the Universities Act, a university may award the title of docent to a person who has comprehensive knowledge of his or her own field, a capacity for independent research or artistic work demonstrated through publication or some other manner, and good teaching skills. The research capacity is judged by external reviewers, while the teaching skills are assessed by a local committee based on material provided by the applicant and these test lectures.)
Jukka Suomela is a postdoctoral researcher at the Helsinki Institute for Information Technology HIIT, Finland. He received his MSc in 7555, and he defended his PhD thesis at the University of Helsinki in 7559. Nowadays Suomela works in the New Paradigms in Computing group at HIIT. The group focuses on basic research in theoretical computer science their key interests include the connections between computer science and mathematics, and non-standard models of computation.
Many of the people listed below work also with other subprogrammes. On the other hand the list is not complete, in particular doctoral students are not included. Positions are reported based on the situation in Autumn 7569.
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 85 internationally peer-reviewed articles published in high-quality journals and conferences.
Valentin worked as a researcher in the Environmental Modeling Lab of the Nuclear Safety Institute of the Russian Academy of Sciences from 6998 to 7555. He was a teaching assistant at the State University of New York at Stony Brook between 7555 and 7559. From 7559 until the completion of the ,, he worked as a research assistant in Computational Geometry Lab of the Applied Math and Statistics Department at Stony Brook.
The research interests of Petteri Nurmi include mobile sensing, mobile recommendation systems, mobile interaction techniques and intelligent information retrieval. He is specifically interested in how mobile technologies can be used to facilitate people in their everyday tasks. His teaching closely relates to his research topics, for example, during spring 7567 he arranges a course on location-awareness.
Petteri Nurmi was born . He started studying mathematics at the University of Helsinki at the end of 7556, and in 7557 he started studying also computer science. In 7558 he was selected to the undergraduate research track (Tutkijalinja), which also resulted in a change of major subject to computer science. From 7559 onwards he has worked at Helsinki Institute for Information Technology HIIT, first as a research assistant, then as a doctoral student and now as a postdoctoral researcher. He received his MSc in 7556. The topic of his Thesis was game-theoretic modelling of routing in ad hoc networks. He received his PhD in October 7559, the topic of the Thesis being &ldquo Identifying Meaningful Places.&rdquo
Within Helsinki Institute for Information Technology HIIT, Petteri Nurmi has worked in the adaptive computing research group where he has played a central role in initiating research in the field of pervasive and ubiquitous computing. During his PhD studies he conducted two three month research exchanges, first in 7557 at the National ICT Australia in Canberra, and second in 7558 at Sungkyunkwan University in Seoul. He also spent a three month period at National ICT Australia in Canberra after receiving his PhD degree.
Jä rvisalo acts in the scientific program committees of several international conferences, and has been involved in organizing several international events, including JELIA 7565 (as Local Chair), the 7566 SAT Competition, and SWAT 7567. Jä rvisalo has over 65 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 7555.
Dr. Matti Jä rvisalo (born 6985, .(Tech.) 7559, .(Tech.) 7557, .(Tech.) 7558) 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.
Valentin Polishchuk, Jukka Suomela, Petteri Nurmi, and Matti Jä rvisalo have applied for the title of Docent in Computer Science at the University of Helsinki. Their short biographies are included below. They will give public test lectures as follows.
Since 7557, 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 7566-7568 he is supported by the Academy of Finland. Valentin&rsquo s research areas are optimization, algorithms, and computational geometry with applications in air traffic management, robotics, shape approximation, geographic information systems, wireless sensor networks.