Staff

Anatolii M. Petrushenko

Anatolii M. Petrushenko

Associate Professor,
PhD in Computer Science,
Associate Professor
Links: Scopus.

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 — DSc in Computer Science, 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.
2015-2016 — Associate Professor, Department of Information Systems, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.
2016-2019 — Associate Professor, Department of Information Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.
Since 2019 — Associate Professor, Department of Intelligent Software 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.