alkhizha
Associate Professor at Oles Honchar Dnipro National University, Ukraine. Area President at DataArt, Dnipro, Ukraine.
@dnu-dp-ua-applied-math Dnipro city, Ukraine
Pinned Repositories
Atom
demo
GitHub-Project-No.2---Created-from-VS
Trying to create project in VS and then push it to GitHub
github-slideshow
A robot powered training repository :robot:
hello-world
I start learning github)
ICTERI-2017
Готовим доклад с Игорем Высокопоясным: "Automatic Online Static Verification in E-Learning Programming"
test_2022-04-04
test_2022-05-23
Test_GitHub_Extension_for_VS
verifiable-tests
An attempt to apply formal methods (D. Gries style) to specification and verification of code-writting tasks for CS students.
alkhizha's Repositories
alkhizha/Atom
alkhizha/demo
alkhizha/GitHub-Project-No.2---Created-from-VS
Trying to create project in VS and then push it to GitHub
alkhizha/github-slideshow
A robot powered training repository :robot:
alkhizha/hello-world
I start learning github)
alkhizha/ICTERI-2017
Готовим доклад с Игорем Высокопоясным: "Automatic Online Static Verification in E-Learning Programming"
alkhizha/test_2022-04-04
alkhizha/test_2022-05-23
alkhizha/Test_GitHub_Extension_for_VS
alkhizha/verifiable-tests
An attempt to apply formal methods (D. Gries style) to specification and verification of code-writting tasks for CS students.
alkhizha/VisualStudio
GitHub Extension for Visual Studio