Alexander Romanovsky

简介

Alexander (Sascha) Romanovsky is Emeritus Professor with Newcastle University. 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. He received a M.Sc. degree in Applied Mathematics from Moscow State University and a PhD degree in Computer Science from Saint Petersburg State Technical University. He was involved in numerous EC and UK research projects on system dependability engineering, coordinated the RODIN and DEPLOY projects, and led projects on formal verification of railway safety. He is a visiting professor at the National Institute of Informatics (NII, Tokyo, Japan).

教育经历

• M.Sc. Applied Mathematics, Moscow State University
• PhD Computer Science, Saint Petersburg State Technical University

代表成果

• Practical Verification of Railway Signalling Programs
• Mutation testing for rule-based verification of railway signalling data
• Formal Distributed Protocol Development for Reservation of Railway Sections
• Modelling Hybrid Train Speed Controller using Proof and Refinement
• Quantitative Validation of Formal Domain Models
• A Refinement Based Method for Developing Distributed Protocols
• Formal Verification of Signalling Programs with SafeCap
• Automated testing of SSI data
• A Railway Simulation Suite For Modelling Advanced Railway Control Systems
• Stochastic Activity Networks for the Verification of Knowledge Bases