Andre holds a Candidate of Science degree in Engineering (Ph. D. equivalent) from the Institute of Nuclear Power Engineering (INPE), Obninsk, Russia in 1994. His PhD 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.
A list of publications by Andrey Povyakalo is available.
|Page Maintainer: firstname.lastname@example.org||Credits||Project Members only||Last Modified: 12 August, 2005|