Karina Lirisman. MIPT DREC 4rd year student. Mail: [email protected].
There is my CV
- BSc. Applied math and physics in Moscow Institute of Physics and Technology. CGPA: 7.38/10
- "Engineering approach to development SW/HW. Model-checking, model-finding methods". MIPT course, Lecturer - V. Dyadov, Kaspersky.
- "Uses and applications of C++ language". MIPT course. Lecturer – K. Vladimirov, Intel.
- "C++ development basics. White belt". MIPT & Yandex course on Coursera.
- List-model. Model of a static singly linked list on Alloy with the operation of joining two lists with time reference.
- Tree-model. Static model of a classical tree on Alloy.
- T02TREE. Red-black tree with balancing and rendering.
- The Ark. Spaceship of generations. Created by a team of students as part of a training course in computer science from K. A. Beklemisheva.
- AAL Project on theoretical mechanics, Lyapunov's theory of stability. Lyapunov fractals.