Author details

Marek Klonowski
Affiliation
Department of Artificial Intelligence
Wrocław University of Science and Technology
Wrocław, Poland
Biography
Marek Klonowski received the Ph.D. degree in computer science from Adam Mickiewicz University, Poznań, Poland, in 2003, and the Ph.D. degree in mathematics from the Wrocław University of Technology (WUT), Wrocław, Poland, in 2009, and Habilitation in computer science from Instytut Podstaw Informatyki PAN (IPIPAN), Warsaw, Poland, in 2012.,Since 2012, he has been an Associate Professor with the WUT. His current research interests include formal analysis of distributed, probabilistic protocols.(Based on document published on 8 October 2014). Author's Published Works