Yulia Korukhova |
| Русский / English | |||||||
|
Ph.D., lecturer at the Algorithmic Languages Department
|
New
Presentation for the International Russian-French workshop on Actual Problems of Artificial Intelligence (18/11/2019) download PDF .Teaching (2005 - 2019)
- Algorithms and algorithmic languages - 1st year students
- Practical course on algorithms development and programming (Pascal, NASM, MASM)
- Artificial Intelligence - special seminar
- Object-Oriented Programming: C++. - 2nd year IT bachelors' programme (autumn semester)
- Knowledge Management - Special course for the 2nd - 5th year students (autumn semester)
- Basics of programming. - 1st year IT bachelors' programme
- Hardware description languages. Verification problems. (1st part) - Special course.
- Practical course on C programming, UNIX.
- Practical course on C++ programming, formal grammars.
Research interests
Artificial intelligence, structured information retrieval for special domains, music information retrieval;
knowledge management;
deductive program synthesis, automated reasoning, logics in programming, logic programming, functional programming;
multu-agent systems.
PhD thesis "A system for deductive synthesis of functional programs",
supervised by Associate Professor Dr. V.N. Pilschikov, was successefully presented in December 2005
Selected publications
Full list of publications and research projects is available here .- Korukhova Y. and Kuryshev S. Training Agents with Neural Networks in Systems with Imperfect Information // In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-219-6, pages 296-301, 2017 ( Download .pdf from SciTePress digital library)
- Yulia Korukhova Knowledge Management - CMC faculty publishing, MAKS-press, Moscow, 2012 [in Russian]
- Yulia Korukhova Tasks and Exercises for studying C++ programming – CMC faculty publishing, MAKS-press, Moscow, 2009 [in Russian]
- Yulia Korukhova Aspects and Technologies of Artificial Intelligence Used in Knowledge Management Course – Proceedings of the 5th UK Workshop on AI in Education, 2009, p. 1-6
- Yulia Korukhova An approach to automatic deductive synthesis of functional programs – Annals of Mathematics and Artificial Intelligence, Vol. 50, Numbers 3-4 – Springer Netherlands, 2007, p.255-271 .
- Yulia Korukhova Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoning – Proceedings of the 3rd UK Workshop on AI in Education, 2007, p. 17-21
- Yulia Korukhova Automatic Deductive Synthesis of Lisp Programs in the System ALISA – Lecture Notes in Artificial Intelligence (LNAI) 4160 – Springer-Verlag, Berlin, Heidelberg, 2006, p.242-252
- Y.S. Korukhova Deductive Program Synthesis Using Wave-Rules. – in Software Systems and Tools ( editor - L.N. Korolev) CMC faculty publishing, 2005, p.6-16.[in Russian]
- Y.S. Korukhova, V.N. Pilschikov A System for Deductive program synthesis – Artificial Intelligence N 2, Donetsk, Ukraine, 2002 p. 451-459. [in Russian]
...The page is currently under construction...