Specialities: Dependability of computer-based systems, fault tolerance, railway safety, formal method, industrial deployment of formal techniques, signalling safety verification Learn more about Alexander Romanovsky's work experience, education, connections & more by visiting their profile on LinkedIn