Arkady Dmitrievich Zakrevsky (b. 22.05.1928, Leningrad, Russia), a scientist in the field of technical cybernetics and computer science. Corresponding Member of the National Academy of Sciences of Belarus (1972), Doctor of Engineering Sciences (1967), Professor (1969).
Works on automata theory, system programming, logical-combinatorial methods in engineering and computer science. He proposed a programming language for logical problems of LYAPAS, on the basis of which a series of computer-aided design of discrete devices was created, and methods for implementing parallel algorithms for the logical control of interacting processes. He developed a series of practically efficient algorithms for minimizing Boolean functions and systems, solving large systems of logical equations and overdetermined systems of linear logical equations with applications in logical synthesis and information protection. He generalized the methods of the theory of Boolean functions to finite predicates, developed a logical approach to pattern recognition in the space of Boolean and multivalued attributes.
Author of 500 scientific papers, incl. 23 monographs.
Awarded with medals.