Roman Kireev Email & Phone Number

I've been a core engineer of the Plutus programming language since its inception. Code written in Plutus by its users manages tens of millions of dollars worth of cryptocurrency assets.I've designed, implemented and heavily tested core parts of the language:- its theory- the type checker- two evaluators- the built-in types and functions infrastructure- the parser and two pretty-printers- error reporting- compiler from a higher-level language (partially)- distributed computing safeguards (partially)- complex property tests- many moreI've also cut costs of running a Plutus program multifold, reviewed hundreds of pull requests and led an initiative on creating and following the issue triage process.Aside from Plutus I've created a closed-source optimizing compiler in a zero knowledge setting.

Estonia

Programming language development services. Haskell evangelism:https://github.com/effectfully-ou/sketcheshttps://github.com/effectfully-ou/haskell-challenges

Hong Kong

Implemented a functional language compiling to the Miden zero-knowledge virtual machine:https://github.com/polyvariadic/nightfall

Spent my time answering clients' questions, explaining concepts, writing code snippets, fixing type errors, debugging and doing everything else a client might need.

Implemented a unified interface to multi-DB-engine queries via ODBC and used it to update the codebase to migrate from Postgres to Snowflake with zero downtime as per requests of clients. Fixed a number of pre-existing heisenbugs.

Implemented heavily optimized algorithms for streaming, parsing and processing large chunks of data. Fixed a lot of bugs and space leaks. Mentored a few juniors.

Moscow, Russia

Developed a server controlling moving robots.

Improved sales by aggregating and processing data on potential and current clients, analyzing sales statistics and tracking performance of sales people.