Tuomo Lempiäinen

Research Assistant, BSc

I work as a research assistant in the New Paradigms in Computing group at Helsinki Institute for Information Technology HIIT and the Department of Computer Science, University of Helsinki under the supervision of Jukka Suomela. My research area is the theory of distributed computing.

I received my BSc degree from the University of Helsinki with a major in mathematics and a minor in computer science. Currently I am studying for an MSc degree in the same subjects.

Contact information

Email:

tuomo.lempiainenhelsinki.fi (academic)
tuomolempiainen.net (personal)
PGP public key

Office:

Exactum A314, Kumpula Campus, University of Helsinki
Gustaf Hällströmin katu 2b, 00560 Helsinki, Finland

Postal address:

Helsinki Institute for Information Technology HIIT
P.O. Box 68, 00014 University of Helsinki, Finland

Publications

Refereed journal papers

• Search methods for tile sets in patterned DNA self-assembly.
  Mika Göös, Tuomo Lempiäinen, Eugen Czeizler and Pekka Orponen.
  Journal of Computer and System Sciences, to appear.
  Manuscript

Refereed conference papers

• Weak models of distributed computing, with connections to modal logic.
  Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela and Jonni Virtema.
  Proc. 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC, Funchal, Madeira, Portugal, July 2012), pp. 185-194. ACM Press, 2012.
  Publisher's version | Authors' version
• Synthesizing small and reliable tile sets for patterned DNA self-assembly.
  Tuomo Lempiäinen, Eugen Czeizler and Pekka Orponen.
  Proc. 17th International Conference on DNA Computing and Molecular Programming (DNA, Pasadena, CA, USA, September 2011), vol. 6937 of LNCS, pp. 145-159. Springer, 2011.
  Publisher's version | Authors' version

Other refereed work presented at conferences

• A design framework for carbon nanotube circuits affixed on DNA origami tiles.
  Eugen Czeizler, Tuomo Lempiäinen and Pekka Orponen.
  Proc. 8th Annual Conference on Foundations of Nanoscience: Self-Assembled Architectures and Devices (FNANO, Snowbird, UT, USA, April 2011), pp. 186-187.
  Extended abstract | Poster

Non-refereed work presented at conferences

• Nano architectures for carbon nanotube circuits: design, analysis, and experimental attempts.
  Eugen Czeizler, Tuomo Lempiäinen and Pekka Orponen.
  Workshop on Language Theory in Biocomputing (Turku, Finland, June 2011).
  Extended abstract
• Synthesizing small and reliable tile sets for patterned DNA self-assembly.
  Tuomo Lempiäinen, Eugen Czeizler and Pekka Orponen.
  Workshop on Statistical Mechanics and Computation of DNA Self-Assembly (Mariehamn, Finland, May 2011).
  Poster

Manuscripts submitted for publication

• Weak models of distributed computing, with connections to modal logic.
  Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela and Jonni Virtema.
  Manuscript | arXiv

Studies

Theses

• Bisimulaatio modaalilogiikassa.
  Bachelor's thesis. University of Helsinki, Department of Mathematics and Statistics, March 2013.
  Thesis