..:: Martin Kot ::..
Theoretical computer science