The Faculty of Information Technologies was established in 2010 on the basis of the faculty of information pedagogic and informatics.
Presently the faculty includes the “Applied Mathematics”, “Information Systems in Economics”, “Information Technologies”, “Computing Systems and Information Security” departments. The departments train qualified specialists in different fields and specialties; they are in high demand at labor markets. Besides the faculty graduates can continue their education at post-graduate studies.
The faculty teachers and students take an active part in international programs, projects, contests, conferences and publish the results of their researches in international journals. They also work together with students and post-graduate students from other countries. For example, two post-graduate students from Yemen and Jordan defended candidate dissertations in 2006 and 2007. For 12 years the “Applied Mathematics” department has been taking part in the world championship of young programmers.
Varvara Krayvanova, PhD
Researcher in the fields of data analysis and natural language processing.
Web-developer, winner of the competition «The Best Project of Informatization in Altai Region» in 2012 and 2016.
Specialist in E-Learning.
First of all, Varvara Krayvanova is an active researcher in data analysis and machine learning. She is one of the best specialists in our region, which is confirmed by regular invitations to regional events as a plenary speaker. The main specialization of Varvara is computer linguistics, but she has extensive experience in working with environmental monitoring data. In particular, she was one of the main developers of the monitoring data storage system for the Altai nature reserves. This project was recognized as one of the best informatization projects in the Altai Territory in 2012. Varvara is an experienced teacher, she developed four author’s courses. Moreover, she has wide experience in scientific advising of students degree papers, which deal with machine learning and data analysis. Also, she is a specialist in the e-learning courses development.
Angelika Andreeva, PhD
Angelika Andreeva is one of the leading teachers of disciplines related to image processing, functional and logical programming on Department of Applied Mathematics in AltSTU and has experience in teaching AI. She worked as a researcher with the Institute for Water and Environmental Problems of the Siberian Branch of the Russian Academy of Sciences and Altay State Medical University. The scientific supervisor of diploma theses related to image processing and data processing. Participates in the Kaggle-competitions. Currently studying the possibility of applying ML-methods for using in distance education technologies.
Sergey M. Staroletov, PhD
Specialty: Mathematical software of computer systems and networks
Subject of the Ph.D. thesis: Modeling of distributive non-determinant programs and its testing on the basis of automaton multi-agent probability models.
Formal verification, Model-Based Checking, Model-Based Testing, Mathematical proof of software, Cyber-Physical systems, OS, Functional programming, New approaches in mind models and anomaly detection
Baar T., Staroletov S. A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier. Modeling and Analysis of Information Systems. 2018;25(5):465-480. https://doi.org/10.18255/1818-1015-2018-5-465-480
Sergey Staroletov, “Towards the methods of analysis malicious applications for Android operating system”, Труды ИСП РАН, 30:1 (2018), 55-68 https://doi.org/10.15514/ISPRAS-2018-30(1)-4
Staroletov, Sergey. “Building a process of trustworthy software developing based on BDD and ontology approaches with further formal verification.” 9th Workshop PSSV. 2018
Lozhkina, Daria, and Sergey Staroletov. “An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach.” Preliminary Proceedings of the 11th Spring/Summer Young Researchers Colloquium on Software Engineering (SYRCoSE 2017)
Staroletov, Sergey. Basics of Software Testing and Verification [in Russian]. Lanbook, Saint Petersburg, 2018. – 344p. ISBN 978-5-8114-3041-3.