Research
Groups
Researchers
Publications

Research Groups

AI Labs

Fundamental and applied AI research

Astroparticle Physics

Applying modern computing techniques to data analysis in astroparticle physics

BioLabs

Uncovering the fundamental epigenetic regulation mechanisms and their role in cell differentiation and aging

Concurrent Computing

Developing, verifying, testing, and benchmarking modern concurrent algorithms

HoTT and Dependent Types Group

Creating a dependently typed language based on the homotopy type theory

Intelligent Collaboration Tools Lab

Studying collaborative processes in SE and beyond to enable next-generation collaboration tools

Machine Learning Methods in Software Engineering

Merging best practices from both areas to create new ways to develop and improve code

Mobile Robot Algorithms Laboratory

Developing self-orientation algorithms for a mobile robot and solving the SLAM problem

Neurodevelopment and Neurophysiology Group

Simulation modeling of neural tissue development and involved cellular processes

Paper-Analyzer

Deep learning–based tool for knowledge extraction from scientific biomedical papers

Programming Languages and Tools Lab

Supporting fundamental research into programming languages and tools

Verification or Program Analysis Lab

Applying formal methods in software development to creating tools based on static analysis, verification, and program transformation

Privacy & Security | Terms of Use | Trademarks | Legal | Genuine tools
© 2000-2022 JetBrains s.r.o. All rights reserved.Supported and developed by JetBrains