<< Back to People & Contacts Go to Logic in Informatics Home Page

Stepan Stepanovich Shkilnyak



 Associated Prof., Dr. Stepan Stepanovich Shkilnyak
working at the Department of Theory of Programming
of the Faculty of Cybernetics
at the National Taras Shevchenko University of Kyiv.

See below:
Short Autobiography
Main publications

Short Autobiography

Born in Ternopil, 1951.
In 1973 graduated from faculty of cybernetics of Kiev Taras Shevchenko State University (now - Kyiv National Taras Shevchenko University).
In 1977 defended PhD thesis on the Department of Programming Theory.
Employed in Kiev State University, Faculty of Cybernetics, Department of Programming Theory:
since 1973 on positions of engineer, head engineer, senior researcher;
since 1979 Assistant Professor, Lecturer,
since 1983 Associate Professor.

Main publications

  • S. S. Shkilnyak, Mathematical logic: examples and tasks. – Kyiv, - 2002.
  • S. S. Shkilnyak & others, Theory of Algorithms. – Kyiv, - 2003.
  • S. S. Shkilnyak & others, Mathematical logic. – Kyiv, - 2003.
<< Back to People & Contacts Go to Logic in Informatics Home Page