Trade Union of the NAS of Ukraine
Previous version of the site
About Academy
About the National Academy of Sciences of Ukraine
History of the National Academy of Sciences of Ukraine
100th anniversary of the National Academy of Sciences of Ukraine
Awards and honors of the National Academy of Sciences of Ukraine
Personal composition
Paton Foundation
Virtual tour of the National Academy of Sciences of Ukraine
Structure
Presidium of NASU
Apparatus of the Presidium
Councils, committees and commissions
Scientific centers of the Ministry of Education and Science of Ukraine and the National Academy of Sciences of Ukraine
Institutions under the Presidium
Non-governmental organizations
Section of Physical and Mathematical sciences
Department of Mathematics
Department of Informatics
Department of Mechanics and Mechanical Engineering
Department of Physics and Astronomy
Department of Earth Science
Department of Materials Science
Department of Energy and Energy Technologies
Department of Nuclear Physics and Energy
Section of Chemical and Biological sciences
Department of Chemistry
Department of Biochemistry, Physiology and Molecular Biology
Department of General Biology
Section of Social sciences and Humanities
Department of Economics
Department of History, Philosophy and Law
Department of Literature, Language and art History
Activity
Meeting of the Presidium of the NAS of Ukraine"
General meetings of the National Academy of Sciences of Ukraine
Annual reports of the National Academy of Sciences of Ukraine
Scientific publications and publishing activities
Protection of intellectual property rights and technology transfer in scientific institutions
Scientific objects that are national property
Centers for the collective use of instruments of the National Academy of Sciences of Ukraine
Office for evaluation of activities of scientific institutions
Scientific Research Competitions of the NAS of Ukraine
Open science at the National Academy of Sciences of Ukraine
Doctoral and Postdoctoral Training
Work with youth
International cooperation
Membership in international organizations
International agreements
International programs and competitions
Contacts
About Academy
About the National Academy of Sciences of Ukraine
History of the National Academy of Sciences of Ukraine
Grants, honors and awards
Personal composition
Charitable Foundation named after Boris Paton
Virtual tour of the National Academy of Sciences of Ukraine
Materials
Presidium of NASU
Department of mathematics
Computer Science
Mechanics
Physics and astronomy
Earth Sciences
Physical and technical problems of materials science
Physical and technical problems of energy
Nuclear physics and energy
Activity
General meetings of the National Academy of Sciences of Ukraine
Annual reports of the National Academy of Sciences of Ukraine
Scientific publications and publishing activities
Protection of intellectual property rights and technology transfer in scientific institutions
Scientific objects that are national property
Centers for collective use
Office for evaluation of activities of scientific institutions
Open science at the National Academy of Sciences of Ukraine
Work with youth
International cooperation
Membership in international organizations
International agreements
International programs and competitions
Documents
Normative acts of the National Academy of Sciences of Ukraine
The state budget of the National Academy of Sciences of Ukraine
News
Activities
Contacts
TRADE UNION OF THE NAS OF UKRAINE
Home
About NASU
Personnel
Doroshenko Anatolii Yukhymovych
Doroshenko Anatolii Yukhymovych
Doctor of sciences (physics & mathematics)
Professor
Institute of Software Systems of the National Academy of Sciences of Ukraine
Senior Research Fellow
News
Reports
24.02.2025
19.02.2025
Formal and intellectual methods of software system design automation
