Research Groups
Сreating new ways to train AI agents
Аpplying computer science methods to real-world biological and medical problems
Uncovering the fundamental epigenetic regulation mechanisms and their role in cell differentiation and aging
Developing, verifying, testing, and benchmarking modern concurrent algorithms
The study and application of cryptographic methods for information protection
Theoretical foundations, languages, and tools for developing control programs for cyber-physical systems
Creating a dependently typed language based on the homotopy type theory
Studying collaborative processes in SE and beyond to enable next-generation collaboration tools
Longitudinal research to discover what factors help to improve academic achievement and provide success in STEM careers
Applications of state-of-the-art Machine Learning techniques to a multitude of different problems
Merging best practices from both areas to create new ways to develop and improve code
Developing self-orientation algorithms for a mobile robot and solving the SLAM problem
Simulation modeling of neural tissue development and involved cellular processes
The laboratory develops instruments and methods for particle physics research and other similar fields
Solving hard optimization problems in different areas of software engineering
Deep learning–based tool for knowledge extraction from scientific biomedical papers
Constructing exact algorithms for computationally challenging problems by the careful understanding of the structure of a typical input
Supporting fundamental research into programming languages and tools
Applying formal methods in software development to creating tools based on static analysis, verification, and program transformation