Associate Professor at Oles Honchar Dnipro National University, Ukraine.
Area President at DataArt, Dnipro, Ukraine.
- Dnipro city, Ukraine
Popular repositories Loading
-
-
ICTERI-2017
ICTERI-2017 PublicГотовим доклад с Игорем Высокопоясным: "Automatic Online Static Verification in E-Learning Programming"
-
verifiable-tests
verifiable-tests PublicForked from harrytallbelt/verifiable-tests
An attempt to apply formal methods (D. Gries style) to specification and verification of code-writting tasks for CS students.
JavaScript
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

