Dmitrii Kosarev

Dmitrii Kosarev

Research Groups


Graduated from SPbU the faculty of Mathementics and Mechanic in 2012 (computer science department). For a some time worked as software engineer, hacking functional programming languages in a spare time. Started a Ph.D. experiment to create something AWESOME not alone.

I have chess CM title (Candidate Master).

Professional Activity

* Relational programming

* OCaml compiler hacker.

* GNU/Linux hacker.

* Qt hacker.


Typed Embedding of a Relational Language in OCaml


Proceedings ML/OCAML 2016

Read more