ARSSIR 2011 Organizers      

Dr. Alexander Bolotov

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

email A.Bolotov@wmin.ac.uk, 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.