JetBrains-Forschungsinitiativen

"Mit Vergnügen entwickeln", "Der Antrieb zur Entwicklung" - davon haben Sie wahrscheinlich von uns gehört. Unsere Interessen gehen jedoch weit über das Entwerfen und Erstellen leistungsfähiger Produktivitätswerkzeuge hinaus. Wir glauben, dass wir viel verändern und die Welt zu einem besseren Ort machen können. Ein todsicherer Weg ist die Erforschung fortschrittlicher Technologien und Bildung. Zusammen mit den weltweit führenden wissenschaftlichen Institutionen betreiben wir angewandte Forschung, die das Leben der Menschen beeinflussen und uns alle voranbringen kann.



Unsere wissenschaftliche Forschung ist unter der Leitung von JetBrains Research zusammengefasst .



Im Folgenden stellen wir die Forschungsteams von JetBrains Research und deren Funktionsweise vor.

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