Дмитрий Косарев

Дмитрий Косарев


Исследовательские группы

Биография

Окончил математико-механический факультет в 2012 году на кафедре информатики. Длительное время занимался профессиональной разработкой, в свободное время занимался функциональным программированием. Отправился в аспирантуру, чтобы сделать что-нибудь великоленое не в одиночку.

Кандидат в мастера спорта по шахматам.

Профессиональная активность

* Реляционное програмирование.

* OCaml хакер.

* GNU/Linux хакер.

* Qt хакер.

Публикации

Typed Embedding of a Relational Language in OCaml

2018

Proceedings ML/OCAML 2016

Подробнее