Alexander Romanovksy


Newcastle University
Alexander Romanovsky
Alexander is a co-author of "Driving Efficiency & Resilience to Human Error: SafeCap Automated Verification of Signalling Data"
Alexander Romanovsky is a professor in computing science with Newcastle University, United Kingdom. His main research interests are system dependability, fault tolerance, safety, modelling and verification. He is the investigator of the EPSRC/UK platform grant on Layers for Structuring Trustworthy Ambient Systems (STARTA). Before this, he coordinated the major EU FP7 DEPLOY Integrated Project that developed the Rodin tooling environment for formal stepwise design of complex dependable systems using Event-B. Since 2011, he has led the development and the deployment of the SafeCap tooling platform for modelling, analysis and verification of complex railway systems and networks.