Research Portfolio
Artificial Intelligence
- True reasoning approaches;
- Mathematical and physical foundations of Al algorithms;
OS architecture:
- Containerization;
- OS frameworks (Genode);
OS and generic virtualization technologies:
- Hypervisor virtualization;
- Container virtualization;
Fundamental algorithms in computer security:
- Full and partial homomorphic encryption applications;
- Distributed security protocols;
- Huang, Pengru, et al. “Unveiling the complex structure-property correlation of defects in 2D materials based on high throughput datasets.” npj 2D Materials and Applications 7.1 (2023): 6.
- Petrov, Igor Borisovich, A. G. Tormasov, and Aleksandr Sergeevich Kholodov. “On the use of hybrid grid-characteristic schemes for the numerical solution of three-dimensional problems in the dynamics of a deformable solid.” USSR Computational Mathematics and Mathematical Physics 30.4 (1990): 191-196.
- Kazeev, Nikita, et al. “Sparse representation for machine learning the properties of defects in 2D materials.” npj Computational Materials 9.1 (2023): 113.
- US12361301B2
Systems and methods for customizing a user workspace environment using AI-based analysis – 2025/7/15 - US8925075B2
Method for protecting data used in cloud computing with homomorphic encryption – 2014/12/30 - US8805947B1
Method and system for remote device access in virtual environment- 2014/8/12 - US10554753B2
System and method for service level agreement based data storage and verification – 2020/2/4
