Tuomo Pyhälä
 Previously employed as Research Assistant

Office:	N/A
Postal Address:	N/A
Telephone:	N/A
Email:	tpyhala@tcs.hut.fi

T-79.148 Introduction to Theoretical Computer Science,

Teaching Assistant, Spring 2002.

T-79.190 Testing of concurrent systems,

Teaching Assistant, Autumn 2002.

• I've worked on formal conformance testing and SAT solver benchmarks

Factoring benchmark

This benchmark produces factoring problem instances in dimacs and smodels format and is applicable for testing performance of different solvers.

Bomotest testing tool

This testing tool is result of a joint research program between TCS and Conformiq. It is the basis for my master's thesis. The aim was to investigate different test selection methods and guiding the testing.

Publications

• See my Personal homepage