Pavel Krcal

pavelk@it.uu.se
Box 337
Dept. of Information Technology
Uppsala University
751 05
Uppsala
Sweden
MIC, Polacksbacken
Lagerhyddsvagen 2
Building 1, Room 1217
Phone: +46 18 - 471 73 41
Fax: +46 18 - 55 02 25
Mobile: +46 76 - 785 11 85

I have defended my PhD thesis at the Department of Information Technology at Uppsala University.
My supervisor was professor Wang Yi and I worked in the UPPAAL group.
I'm from Czechia, where I studied at Faculty of Informatics, Masaryk University Brno.
I was very much involved in the activities of the Parallel and Distributed Systems Laboratory (Paradise) there.

Research Areas

Publications

Teaching

Misc