Staff

Anatolii M. Petrushenko

Anatolii M. Petrushenko

Associate Professor,
Candidate of Physical and Mathematical Science,
Associate Professor

Education and Career:

1980 — graduated from Kharkiv State University named after A.M. Gorky, Faculty of Mechanics and Mathematics.
1980-1982 — Engineer, Special Engineering and Design Bureau, Institute of Electrodynamics of AS of Ukrainian SSR.
1982 — Trainee Researcher, Department of Automation of Programming, V.M. Glushkov Institute of Cybernetics of AS of Ukrainan SSR.
1982-1992 — Junior Researcher, Department of Automation of Programming, V.M. Glushkov Institute of Cybernetics of AS of Ukrainan SSR.
1992 — graduated from PhD Studies (Theoretical Computer Science), V.M. Glushkov Institute of Cybernetics of NAS of Ukraine.
1992 — defended Сandidate thesis «Dialog transformation of schemas of programs within algorithmic algebras». Academic supervisor — Doctor of Physical and Mathematical, Professor, Correspondent-member of NAS of Ukraine Kateryna L. Yushchenko.
1992-2015 — Associate Professor, Department of Information Technologies, Faculty of Cybernetics, Kherson National Technical University.
Since 2015 — Associate Professor, Department of Information Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.

Research Interests:

transformation (grammatical-algebraic) method of analysis and synthesis of computing systems (software and hardware) and development supporting tools, analysis and synthesis of organizational and technical management systems based on workflow, computer systems of artificial intelligence.

Teaching:

  1. Discrete Math (practical lessons) — 1st year bachelors, 122 Computer Science and Information Technologies.
  2. Foundations of Object-Oriented Programming (labs) — 2nd year bachelors, 121 Software Engineering.
  3. Theoretical Foundations and Methods of Information Systems Development (labs) — 1st year masters, 121 Software Engineering.
  4. Algebraic and Automata-Based Methods of Software Design (labs) — 1st year masters, 121 Software Engineering.
  5. Transformation Methods of Computing Systems Synthesis (lectures) — 1st year masters, 121 Software Engineering.