PhD degree in computer systems.
Thesis title: "Models and methods of the reliability estimation of information and control systems for nuclear power plants"
M.Sc. in Mathematics and Mathematics Education. Qualification: Mathematician, Teacher of Mathematics. Thesis title: "Some problems of factorization of infinitely divisible distributions"
1972-1974: College for mathematically gifted students at MOSCOW STATE UNIVERSITY (Mathematical School #18), Russia
(National boarding college, Head - Academician Kolmogorov)
Turbine Control System of Shevchenko Plant (Ukraine) for
Zaporozhye-1 NPP
1992-1993: Senior Researcher,
Department of Computer Systems, INSTITUTE OF SAFETY AND RELIABILITY OF TECHNOLOGICAL SYSTEMS,
Kharkov, Ukraine
Design of databases (FOXPRO)
and applications software for analysis of technological equipment and control systems
reliability and safety in nuclear and heat energetics
1979-1982: Lecturer of Mathematics,
Foundation Year Course, UKRAINIAN POLYTECHNIC INSTITUTE, Kharkov,
Ukraine, and Teacher of Mathematics,
HIGH SCHOOL no 57, Kharkov, Ukraine
Program Committee member, the Third International Conference on Software Engineering Advances
(ICSEA 2008), October 26-31, 2008, Sliema, Malta.
Member, the IASTED Technical Committee on Software Engineering, for 2007-2010
Program Committee member, the 2nd IEEE & IFIP International Symposium on Theoretical Aspects of Software
Engineering (TASE 2008), June 17-19, 2008, Nanjing, China.
Program Committee member, the ABZ 2008 (Abstract State Machines, B and Z methods) Conference.
(ABZ 2008), September 16-18, 2008, London, UK.
Program Committee member, the 5th IEEE International Conference on Software Engineering and Formal Methods
(SEFM 2007), September 10-14, 2007, London, UK.
Chair of the track on Software Reliability, the Second International Conference on Dependable Systems, Services & Technologies (DESSERT-2007), April 24-27, 2007, Kirovograd, Ukraine.
Program Committee member, the Second International Conference on Dependable Systems, Services & Technologies
(DESSERT-2007), April 24-27, 2007, Kirovograd, Ukraine.
Program Committee member, the Second International Conference on Software Engineering Advances
(ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France.
Program Committee member, the First IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering
(TASE 2007), June 6-8, 2007, Shanghai, China.
Program Committee member, 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006),
6-10 November 2006, Raleigh (Research Triangle), North Carolina, USA
Program Committee member, The Second International Conference on Open Source Systems
(OSS 2006), Como, Italy, 8 - 10 June 2006
Program Committee member, 16th International Conference of Z Users (Z User Meeting - ZUM 2006),
part of the 2nd Systems and Software Week, Columbia, Maryland, USA, 24-28 April 2006
Program Committee member, International Conference on Dependable Systems, Services & Technologies
(DESSERT-2006), Poltava, Ukraine, April 25-28, 2006
Steering Committee member, international Z User Group (ZUG), 2005 - present
Steering Committee member, the UK FORTEST network on formal methods and testing, 2001-03
Reviewer, Fourth International Conference on Integrated Formal Methods
(IFM 2004), Canterbury, Kent, England, April 4-7, 2004.
Reviewer, International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag, 2004
Reviewer, 5th International Conference on Formal Engineering Methods
(ICFEM 2003), Singapore, November 5-7, 2003
Reviewer, Eighth International Workshop on Formal Methods for Industrial Critical Systems
(FMICS 03), Trondheim, Norway, June 5-7, 2003
Reviewer, “Information and Software Technology” Journal (IST), ELSEVIER, 2002
1998Argonne National Laboratory,
USA; Toronto, Canada, IAEA
Interregional Training Course on "Advances in Monitoring,
Assessment and Enhancement of Operational Safety of Nuclear Power Plants" (3 weeks)
1998 European Summer School on Reliability and Safety
of Human-Machine Systems, Crete, Greece (1 week)
1996
Nuclear Safety and Protection Institute (IPSN, now IRSN), Fontenay-aux-Roses, France,
training on MALPAS
software tool for the static analysis of the critical software (2 weeks)
1995 Centre D'Etudes De Saclay, Gif-sur-Yvette, France,
training on CLAIRE software tool for testing of software of distributed real time
applications (4 weeks)
1994
Nuclear Safety and Protection Institute (IPSN, now IRSN), Fontenay-aux-Roses, France,
advanced training on licensing of nuclear safety (6 weeks)