MVV 2010 Organizers      

Dr. Alexander Bolotov

School of Electronics and Computer Science, University of Westminster, Harrow Site, Watford Road, HA1 3TP, UK,

email, Tel. +44 2079115907, Fax +44 2079115906


Alexander completed a PhD in Logic in 1992. From 1987 to 1998 Dr Bolotov worked as a lecturer at the Moscow State University before moving to Manchester to join as a Research Fellow the Department of Computing and Mathematics at the Manchester Metropolitan University where he also earned a second PhD, in Computer Science. From February 2001 until July 2005 he was a Senior Lecturer and since August 2005 a Principal  Lecturer at Harrow School of Computer Science, University of Westminster. His main research interests are in the areas of formal specification and verification of concurrent and distributed systems, automated reasoning, autonomous computing, information theory, logical aspects of artificial intelligence and computer science. Visit Alexander's www site for detailed research description and publications.

Axel Hollmann

Faculty for Computer Science, Electrical Eng. and Mathematics, University of Paderborn, 33095 Paderborn, Germany,

e-mail:, Tel: +49 5251 603446, Fax: ++49 5251 03246


Axel received the M.Sc. degree in computer science in 2007 from the University of Paderborn. In 2007, he joined the Faculty of Electrical Engineering, Computer Science and Mathematics at the same university where he is currently a faculty member. His research interests are in the areas of software quality, model-based software testing and mutation analysis. Visit Axel's for publications.

Tugkan Tuglular

Dpt. Of Computer Eng., Izmir Institute of Technology, 35430 Urla-Izmir, Turkey

E-mail:, Tel: +90 (232) 750-7875, Fax: +90 (232) 750-7862


Tugkan completed his PhD in information security policies at Ege University(Turkey) in 1999. During his PhD, he worked as a research associate at Purdue University (USA) in the COAST Laboratory (currently CERIAS) for 16 months. After a brief period as a teaching associate at Ege University, he became assistant professor at the Izmir Institute of Technology (Turkey) in 2000. He was the CIO of the Izmir Institute of Technology from 2003 until 2007. He has in­terest and experience in information/network security and specifically in model-based testing and test auto­mation of security software. Visit Tugkan's for publications.