Ph.D. ALEXANDER K.PETRENKO

Institute for System Programming

of RAS, B.Communisticheskaya, 25

109004, Moscow, Russia

Ph.: 7-095-912-53-17

Fax: 7-095-912-15-24

E-mail:petrenko@ispras.ru

http://www.ispras.ru/~RedVerst/

 

DEGREES:
MS from Moscow Institute of Electronic Machinery 1974
Ph.D. from Keldysh Institute of Applied Mathematics 1983

 

PRINCIPAL RESEARCH INTERESTS:

  • Formal Specification
  • Test automation
  • Compiler Technology
  • Real-Time Systems
  • Software Quality
  • Software Development Processes

RESEARCH and DEVELOPMENT THEMES:
    Remote job control system DIMON(BESM-6) 1974-1975
    LISP compiler and interpreter 1974-1976
    Intelligent shell for LISP for interactive use of FORTRAN software 1976-1983
    Compiler and formal specification of real-time programming language for
    soviet space shuttle "Buran"    		 1985-1994
    Software specification and verification 1992-1999-present

POSITIONS:
Student of Moscow Institute of Electronic Machinery 1968-1974
Keldysh Institute of Applied Mathematics of
Russian Academy of Sciences, chief of lab		 1974-1994
Institute for System Programming of
Russian Academy of Sciences, project leader		 1994-present
Associated professor of System Programming of
Moscow State University		 1983-present

 

PROFESSIONAL ACTIVITIES:
Member of Editor-board of Russian Academy Journal "Programmirovanie" 1995-present
Member of IEEE Computer Society 1999-present

 

SELECTED PUBLICATIONS:

(Most papers have been written with co-authors)

Compiler testing based on formal model of programming language.-
Preprint of Keldysh Institute, No.45, Moscow.

 1992

Test specification based on trace description.-
Programmirovanie, No. 1,.- English version
in Programming and Computer Software,
ISSN 0361-7688, N-Y, Vol.19,No. 1,Jan-Febr,pp. 26-31.

 1993
Monitoring and debugging in RAMPA.-
Proc.of 2th Int.Conf. "Software for multiprocessors
and supercomputers" Moscow,Sept. 19-23, 309-326.		 1994
Hierarchical configuration management.-
Programmirovanie, No. 2.- English version
in Programming and Computer Software, ISSN 0361-7688,
N-Y, Vol.20,No. 2,March-April.		 1994

Parallel monitoring and debugging (survey).-
Programmirovanie, No. 3.- English version in
Programming and Computer Software,
ISSN 0361-7688, N-Y, Vol.20,No. 3,May-June,pp. 39-63.

1994
GRAPHIT-graphic integrated environment for
real-time system development.- Proceedings of
international conference "Real-Time Data RTD-94",Dubna, June. 		1994
Formal Specification and Verification of SOS Kernel.-
BNR/NORTEL Design Forum, June. 		1996
KVEST: Automated Generation of Test Suites
from Formal Specifications.-
Proceedings of Formal Method Congress,
Toulouse, France, LNCS, pp.608-621.		 1999

 

LANGUAGES:
  • Russian (native), English

PERSONAL:
  • Born in Khimki, Moscow region, Russia, on June 11, 1951
  • Married, two children
  • Permanent resident of Russia