Iniciativas de investigación de JetBrains

"Desarrollar con placer", "El impulso para desarrollar" - probablemente escuchó sobre esto de nosotros. Pero nuestros intereses van mucho más allá de diseñar y construir poderosas herramientas de productividad. Creemos que podemos cambiar mucho y hacer del mundo un lugar mejor. Una forma infalible es realizar investigaciones sobre tecnología y educación avanzadas. Junto con las principales instituciones científicas del mundo, participamos en la investigación aplicada que puede influir en la vida de las personas y hacernos avanzar a todos.



Nuestra investigación científica está unida bajo la dirección de JetBrains Research .



A continuación, presentaremos a los equipos de investigación de JetBrains Research y lo que hacen.

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