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.

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.