Dr Andrey A. Povyakalo
- Current Position: Senior Lecturer
- Research Interests:
- Dependability of computer-based systems (assessment and achievement)
- Diversity in computer-based systems (modelling and analysis)
- Probabilistic Risk/Safety Assessment
-
Reliability Engineering and System Safety
- Formal Safety Analysis of General Dynamic Systems
- Formal Methods
- Contact Details:
- Tel: 020 7040 8247 (from UK), or +44 20 7040 8247 (outside UK)
- Fax: 020 7040 8585 (from UK), or +44 20 7040 8585 (outside UK)
- E-mail: Andrey@CSR.city.ac.uk
Background: Andrey joined the Centre for Software Reliability (CSR) as a Research Fellow in January, 2001 employed on the DIRC project. He was promoted to a Senior Lecturer post in November 2008. He hold his Candidate of Science degree in Engineering (Ph. D. equivalent) from the Institute of Nuclear Power Engineering (INPE), Obninsk, Russia in 1994. His Ph. D. thesis concerns mathematical modelling of mutual relations between Structural Redundancy, Fault-tolerance, Reliability and Technical Safety of a computer complex. He graduated from the Obninsk branch of Moscow Engineering and Physics Institute (MEPhI) in 1985 as a system engineer with major in Computer-Aided Control systems. Before joining CSR he was employed by Institute of Nuclear Power Engineering (INPE), Obninsk, Russia as an associate professor of dept of Computer Systems, Networks and Technologies. Andrey is an author of more than 40 scientific publications in scientific journals and conference proceedings. Since 1995 until joining CSR he published 12 scientific papers on formal safety analysis of general dynamic system, e.g. 3 papers on formal safety analysis of critical software algorithms in 2000.