JetBrains Research Initiatives

“Berkembang dengan senang hati”, “Dorongan untuk berkembang” - Anda mungkin pernah mendengar tentang ini dari kami. Namun, minat kami jauh melampaui mendesain dan membangun alat produktivitas yang canggih. Kami percaya bahwa kami dapat banyak berubah dan menjadikan dunia tempat yang lebih baik. Salah satu cara yang pasti adalah dengan melakukan penelitian tentang teknologi dan pendidikan maju. Bersama dengan lembaga ilmiah terkemuka dunia, kami terlibat dalam penelitian terapan yang dapat memengaruhi kehidupan orang-orang dan memajukan kita semua.



Penelitian ilmiah kami dipersatukan di bawah arahan JetBrains Research .



Di bawah ini kami akan memperkenalkan tim peneliti di JetBrains Research dan apa yang mereka lakukan.

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