People

Professor Alexander Romanovsky

Alexander Romanovsky is a Professor of Computing Science with the School of Computing, Newcastle University, UK. He received a MSc degree in Applied Mathematics from Moscow State University and a PhD degree in Computer Science from Saint Petersburg State Technical University (Russia). He has been with Newcastle University since 1996. His main research interests are system dependability, fault tolerance, safety, software architectures, exception handling, error recovery, system verification for safety, system structuring and verification of fault tolerance and safety.

Since 1992 Prof Romanovsky has been involved in a number of EC and UK research projects on various aspects of system dependability engineering. He has coordinated two major ICT projects, the RODIN STREP and DEPLOY IP, and has been the Principle Investigator of the TRAMS-2 and STARTA EPSRC/UK platform grants. He is now working on developing scalable solutions for automatic verification of signalling safety in close cooperation with the railway industry. Prof Romanovsky is a visiting professor at the National Institute of Informatics (NII, Tokyo, Japan).