Volodymir (Vladimir) Nikiforovich Red’ko


Prof. Dr. Volodymir (Vladimir) Nikiforovich Red’ko

  • Doctor of physics and mathematics, Professor
  • Academician of the Ukrainian National Academy of Sciences
  • Honoured Professor of Kyiv National University

working at the Department of Theory of Programming

of the Faculty of Cybernetics

at the Kyiv National Taras Shevchenko University.


See below:

Short Autobiography

Achievements

Scientific ideas & Progress

Membership & Positions

Awards

Main Scientific Books

 



Short Autobiography
 

Born in Kyiv, 1937.

In 1959 graduated from mechanic-mathematical faculty of Kiev Taras Shevchenko State University (now – Kyiv National Taras Shevchenko University).

In 1963 defended PhD thesis under the supervision of academician V. M. Glushkov.

In 1963-1970 worked as scientific researcher in the Institute of Cybernetics in Academy of Sciences of Ukraine.

From 1970 he is a Doctor of physics and mathematics.

In 1971 founded Department of Programming Theory in Kiev Taras Shevchenko State University.

1971 – 2002 Chairman of Department of Programming Theory.

1984 – 1986 Dean of the Faculty of Cybernetics.

Professor since 1973.

Corresponding Member of the Ukrainian National Academy of Sciences since 1992,

Academician by speciality “Information Systems” of Department of Informatics since 2000,

Sorossian Professor in 1995 and 1997,

Honoured Professor of Kyiv National University since 2002.


Achievements
 

 

  • Scientific school “Programmology and its applications” was founded
  • 42 PhD and 5 Doctors of Scienceswere supervised
  • More than 160 scientific workswere published
  • 5 normative courses and 16 special courses were developed

Normative courses “Theory of Programming”, “Theoretical basis of programming” and special courses “Program logics”, “Programmology Problems”, “Programmology Basis” are lectured now.


Scientific ideas & Progress
 

Universal descriptive logics were discovered; classical problems of existence, unambiguity, description of all descriptive logics were solved.
Logic-mathematical basis of new direction of informatics, namely programmology, was founded.
This direction synthesized main ideas of logic, descriptive mathematics and informatics on common conceptual base.
Main logic-mathematical problems were solved; some of them were open during more than 50 years.
Scientific results of V. N. Red’ko, which constitute the basis of programmology, were included into many monographs and books.


Membership & Positions
 

 

  • Member of Advisory Council on Informatization Questions at Supreme Soviet of Ukraine
  • Chair of Advisory Council on Informatics and Cybernetics of Highest Examination Board of Ukraine
  • Chair of Commission on Informatics of Ministry of Education of Ukraine
  • Member of Editorial Board of
    • International scientific-theoretical journal “Cybernetics and System Analysis”,
    • International scientific-technical journal “System researches and information technologies”,
    • scientific journals “Problems of Programming”, “Computer in school and in family”.


Awards
 

 

  • In 1984 decorated with an order of “Peoples Friendship”
  • In 1992 awarded with the V. M. Glushkov Premium of the Ukrainian National Academy of Sciences
  • In 2003 awarded with The State Premium of Ukraine in the Field of Science & Technics


Main Scientific Books
 

 

  • V. N. Red’ko & others, Relational Databases: Table algebras and SQL-like Languages. – Kyiv, – 2001.
  • V. N. Red’ko & others, Compositional Databases. – Kyiv, – 1992.
  • V. N. Red’ko & others, Applied Program Systems. – Kyiv, – 1992.

 

Welcome to Volodymir N. Red’ko Official web-site.