Michał Wrona.
Junior Researcher in the Institute of Computer Science at the University of Wrocław.
On my homepage you can find:
a list of my
research interests, a list of my
papers, and a short introduction
to other, that is Non-ComputerScientific, aspects of my life.
NOTE: Both papers from 2008 are companion to each other. Each of them contains a part of the proof
of the same theorem. The proof is quite long and therefore it was splitted into two papers. The full joint version of these papers is the main part of my Ph.D. Thesis --- above.