DR. OLEKSANDR LETYCHEVSKYI (KYIV CITY, UKRAINE)


Specialist in usage of Formal Methods in Software Engineering
(testing and verification of Safety-Critical 
and QoS (Quality of Service) Systems, re-engineering)

Senior researcher in Glushkov Institute of cybernetics

GENERAL

Author of technology of usage of symbolic methods in model-based testing and software verification especially symbolic white-box and integration model-based testing methods, methods of invariants generation, methods of re-engineering  (business rules extraction from program code, languages migration, model transformation).

Architect and Developer of Program Systems - Verification of Requirements Specifications System (2001 - 2008), System Generic Test Generator(2011 - 2016), Insertion Modelling System (from 2003), Algebraic Programming System (from 1990).

Co-Author of insertion programming (modelling) and predicate transformers theories together with A.Ad. Letichevsky and V.Peschanenko