JetBrains Research Initiatives

“Develop with pleasure”, “The drive to develop” - you probably heard about this from us. But our interests go far beyond designing and building powerful productivity tools. We believe that we can change a lot and make the world a better place. One surefire way is to conduct research in advanced technology and education. Together with the world's leading scientific institutions, we are engaged in applied research that can influence people's lives and move us all forward.



Our scientific research is united under the JetBrains Research direction .



Below we will introduce the research teams at JetBrains Research and what they do.

JetBrains Research 150 , 19 . — .

— . , . JetBrains Research , — .

• BioLabs
• Paper-Analyzer
• HoTT
• -
• (VorPAL)

BioLabs

- : , , . , .

BioLabs — , . , BioLabs -. , , (Next Generation Sequencing), , - . BioLabs PubTrends — , . , , , , .

— , . , , , .



. . ( -). — . , .

. - . .

— . Biological Cellular Neural Network Modeling (BCNNM) . in silico , in vitro, , .

. , , ( ). .

, , . BIOCAD . , . , .

Paper-Analyzer

, , . — , .

Paper-Analyzer — , , . Paper-Analyzer Transformer, . — . , , , , , , . . — .

— . .

. COSIC — (), Selmer Center () INRIA (). : , , , , . , NSUCRYPTO — .

HoTT

— , . : , « ; , ». — , — .

Arend — - , . HTT , , Agda Coq. — - , , .

-

, , , .

- . — . ( , ) . : ( GERDA, -, KATRIN IAXO), ( , , ) ( , , Kotlin). : .

— . . , , , , .

— STEM STEM. STEM (, , ). : , ( , ), . :

1. STEM ?
2. ( , . .) ?
3. (, ..), ?
4. , — ?

. . — .

. Duckietown — , . — (SLAM). SLAM ; . SLAM , , . , SLAM , . 2019 AI Driving Olympics — , . . . , .

STEM . MIT, MISTI.

JetBrains . , , . , , , .

, , . , -.

, , , , .

. — .

. , (, ). , , , , . , , .

. . (, NUMA ).

. ? , ? ? ? , .

— , , , . : , , , , , , .

, , , . , .

- , , - ( , , , , ..), , , ( , , ).

. , .

( ) . JetBrains . — . Move method, GitHub, .

JetBrains — , — Kotlin.

. JetBrains - - . , , , , , , , , , SMT-, , , , , . , , .

(VorPAL)

JetBrains . , , — , .

, , , , . , IDE.

Kotlin. , Kotlin . , , liquid-, pattern matching, .

Kotlin, .

— , . . . , -, - .

, , .

- , , info@research.jetbrains.org.

.

JetBrains Research

The Drive to Develop