Antti Kervinen, researcher

I am a researcher in Verification Algorithm Research Group and Practise research groups at Tampere University of Technology. My main research topic is model-based testing and I'm very interested in distributed systems too.

Teaching

• Software testing
• Software science project

Publications

My publications are over here. and the PhD thesis on model-based testing on another page.

Python projects

Python is a very nice programming language. (If you are not sure what's the point in high-level programming languages or abstraction in general, check this out.)

• Ruis is a Python library for peer-to-peer distributed systems.
• Here is a lightweight low-level AOP extension for Python.
• There is also a small cinpy library that allows you to write C in Python modules.
• rthread (remote thread) library for easy access to distributed computing in Python. This library makes distributed computing look and feel almost as "easy" as writing multi-threaded programs.

Python fits well for Rapid Nonsense Development too.

• Mammoths are angry in this game.
• A Python program that prints itself. Very important.

Software related to other projects

TVT

• a tool for using regular expressions in parallel composition rules and
• a Python library for reading and writing LSTS files.

Contact information

• Work:
  TF213 (room)
  PL 553
  33101 Tampere
  Phone:
  +358 3 3115 5501
• Home:
  pingu.homeunix.net (RSA key finger print: 8d:3f:fe:97:0d:c9:21:86:1a:33:2e:14:f0:ac:5b:d2)
• Email:
  ask@cs.tut.fi