Professor Alexander K. Petrenko

Prof. Alexander K.Petrenko, is Head of Software Engineering Department of ISPRAS and Professor of Moscow State University. He got PhD (candidate degree) in Computer Science from Keldysh Institute of Applied Mathematics (Moscow) in 1983, and Full Doctor degree in Computer Science from ISPRAS in 2003. He is author and co-author over 70 publications. He is a lecturer of Computer Science Department of Moscow State University. He is Member of ForTIA Board (Formal Techniques Industrial Association) – subgroup of Formal Method Europe (FME), organizer of International Model Based Testing Workshop (ETAPS/MBT), Chief Scientific Adviser of Linux Verification Center located at ISPRAS. His research interests are History of Computer Science, Formal Methods in Software Engineering, Verification and Validation, Requirements Formalization and Requirements Management. Research paper in Computer Science History PETRENKO A.K., PETRENKO O.L., The Babbage machine and the origin of programming. (Russian). Istor.-Mat. Issled. No. 24 (1979), 340-360, 389. Z446.01017; M83b:01045; R1979,11A24.