{ "basics": { "name": "Lazaryev Yuriy", "label": "Senior Software Engineer", "email": "my@functional.work", "location": { "city": "Berlin", "countryCode": "DE", "region": "Germany" }, "profiles": [ { "network": "GitHub", "username": "Unisay", "url": "https://github.com/Unisay" }, { "network": "LinkedIn", "username": "lazaryevyuriy", "url": "https://www.linkedin.com/in/lazaryevyuriy" } ], "summary": "Software engineer with 25+ years of experience. Started in web development, went deep into backend and distributed systems. My interest in DSLs led me to compilers — I tried writing my own backend for a PureScript-to-Lua compiler, enjoyed it, and decided to do it full-time. That is how I ended up working on the smart-contract language compiler for Cardano.\n\nI bring a design-before-build discipline that produces software correct and secure before it is fast — useful in domains where bugs have financial or safety consequences.\n" }, "work": [ { "name": "Intersect MBO", "position": "Senior Software Engineer — Plutus Core Team", "url": "https://www.intersectmbo.org/", "startDate": "2024-01", "summary": "Intersect is the member-based organization stewarding the Cardano open-source ecosystem. As a compiler engineer on the Plutus Core team I work on the Plutus and Plinth compilers — the foundation of Cardano's smart contract platform.\n", "highlights": [ "Designed and built the UPLC-CAPE benchmarking framework: a structured harness for measuring Untyped Plutus Language Core (UPLC) program performance across compiler versions. Presented at the [UPLC 2025 workshop](https://plutus.cardano.intersectmbo.org/uplc2025/talks/cape-workshop/).\n", "Security review work on high-stakes blockchain code: auditing and hardening smart contract compiler output where on-chain bugs have real financial consequences.\n", "Authored the concept and co-built an AI-assisted bug-discovery pipeline: I led a team of AI specialists, contributed a custom pipeline component (evaluation engine), and integrated the result into the compiler's existing tooling.\n", "Cardano Node release manager: coordinated multi-team release process for cardano-node, including integration testing, changelog curation, and stakeholder sign-off.\n", "Implemented CIP-57: a machine-readable format for documenting Plutus smart contract blueprints, enabling tooling to generate type-safe client code.\n", "Authored and implemented CIP-0156 (multiIndexArray builtin): took the proposal from initial draft through community ratification to full compiler implementation. This is the standard path for extending the Cardano scripting language.\n", "Implemented a Cardano blockchain indexer that continuously collects execution statistics on all Plutus scripts running on mainnet, feeding a Grafana dashboard used by the compiler team to make data-informed optimization decisions.\n" ], "keywords": [ "Haskell", "Nix", "Plutus", "Plinth", "Cardano Blockchain", "Compiler Engineering", "Security", "Benchmarking" ] }, { "name": "Input-Output Global → Cardano Foundation", "position": "Senior Software Engineer — Cardano Wallet team", "url": "https://github.com/cardano-foundation/cardano-wallet", "startDate": "2022-02", "endDate": "2023-12", "summary": "Full-time contributor to cardano-wallet, the production Haskell full-node wallet used by most exchanges integrating with Cardano. The team transitioned from IOG to the Cardano Foundation mid-2023 as part of a stewardship handover; codebase, team, and scope of work stayed the same — only the contracting entity changed.\n", "highlights": [ "Designed and shipped Light Backend Mode for the full-node wallet, letting users transact without waiting for a full chain sync by routing chain queries through an external indexing API. Owned the feature end-to-end — architecture, network layer, sync semantics, error handling, rate limiting — from initial design to production. Later retired when the team decided to drop the external-API dependency.\n", "Rewrote the wallet's transaction-construction pipeline around a unified balancing primitive, replacing a legacy build-and-sign path that had diverged across endpoints. Migrated every transaction-producing API onto the new pipeline — core logic exercised by every transaction the wallet emits.\n", "Remastered the end-to-end test infrastructure: turned a flaky shared suite into a reliable per-PR check, with the suite owning its own preprod node and wallet lifecycle and the local test cluster decoupled from the wallet codebase.\n" ], "keywords": [ "Haskell", "Nix", "Cardano Blockchain", "Blockfrost" ] }, { "name": "Bellroy", "position": "Lead Software Engineer", "url": "https://bellroy.com/", "startDate": "2019-08", "endDate": "2022-01", "summary": "Bellroy is an Australian e-commerce company that decided to pivot its backend from Ruby on Rails to Haskell after early success with Elm on the frontend. I joined as the founding Haskell engineer to establish the stack, practices, and team.\n", "highlights": [ "Designed and built a Haskell customer-behaviour simulation that modelled Bellroy's full purchase funnel. After a month of collaborative iteration the model was handed to the data science team, who used it as the foundation for their own analytical work — one of the cleaner examples of FP as a tool for exploratory research, not just production services.\n", "Bet early on serverless: the first service I shipped used AWS Lambda and DynamoDB; it is still running in production with no major incidents. That durability signal convinced the team to make serverless the default deployment pattern. By the time I left, the estate had grown from 0 to 6 serverless services, each comprising multiple Lambda functions.\n", "Led a 5-day on-site functional programming course for colleagues, then provided ongoing mentorship. Three colleagues transitioned to full-time Haskell development as a result.\n", "Built a compiler framework for strongly-typed, composable e-commerce DSL compilers. Four DSLs emerged from this framework — covering shipping logistics and product promotion rules — and are in active production use.\n", "Advised on the gradual monolith-to-distributed transition as the platform scaled horizontally, ensuring the new Haskell services could integrate cleanly with the existing Rails systems during the migration period.\n" ], "keywords": [ "Haskell", "Elm", "Nix", "DynamoDB", "AWS Lambda", "Serverless", "Ruby" ] }, { "name": "CollegeVine", "position": "Senior Software Engineer, Team Lead", "url": "https://www.collegevine.com/", "startDate": "2018-11", "endDate": "2019-07", "summary": "CollegeVine is an edu-tech platform helping students navigate college admissions. Developed backend and frontend software, led a small team, and collaborated with product and UX. Key achievement: a UI test automation framework that significantly cut manual QA time.\n", "keywords": [ "Haskell", "PureScript", "React", "PostgreSQL", "AWS", "Python", "Terraform" ] }, { "name": "DSTOQ", "position": "Lead Software Engineer", "url": "https://dstoq.com/", "startDate": "2018-04", "endDate": "2018-11", "summary": "DSTOQ was a fintech startup bringing fractional stock ownership to emerging markets, built on the Stellar blockchain. One of the first engineers hired; shaped the initial tech vision, architecture, and security foundation.\n", "highlights": [ "Designed the core architecture and security model for a system where financial correctness is a hard requirement, not a quality goal. Developed mission-critical components in Haskell with extensive property-based tests (QuickCheck, Hedgehog).\n", "Wrote and open-sourced the Haskell Stellar SDK (https://github.com/Unisay/stellar-haskell-sdk) — the first community SDK for Stellar in Haskell, enabling integration with the XLM payment network.\n", "Conducted technical interviews and coordinated external contractors." ], "keywords": [ "Haskell", "PureScript", "Halogen", "PostgreSQL", "AWS", "Kubernetes", "Stellar Blockchain", "Terraform" ] }, { "name": "Zalando", "position": "Senior Software Engineer", "url": "https://www.zalando.de/", "startDate": "2015-06", "endDate": "2018-03", "summary": "Zalando is Europe's largest online fashion retailer. Worked on the merchant and partner platform, participated in architecture decisions, and helped hire new engineers.\n", "highlights": [ "Single-handedly developed both the frontend and backend for the integration of miadidas.com into the Zalando shop, working directly with Adidas colleagues across two codebases simultaneously.\n", "Actively involved in technical architecture decisions and interviewing as the team grew from a small FP pilot to a larger Haskell/Scala group.\n" ], "keywords": [ "Haskell", "PureScript", "PostgreSQL", "AWS", "Kubernetes", "Microservices", "Scala", "Akka", "Cats" ] }, { "name": "Groupon", "position": "Senior Software Engineer", "url": "https://www.groupon.com/", "startDate": "2013-02", "endDate": "2015-06", "summary": "Groupon was the world's largest local-deal aggregator. Developed software applying machine learning to big data — both batch processing (Hadoop) and real-time search relevance. Implemented a lambda architecture for big data. Key achievement: a reactive distributed data indexer for real-time search.\n", "keywords": [ "Java", "Spring", "Dropwizard", "Hadoop", "Elasticsearch", "Microservices", "RxJava" ] }, { "name": "Rule Financial", "position": "Lead Software Engineer", "url": "http://www.rulefinancial.com/", "startDate": "2012-03", "endDate": "2012-08", "summary": "Rule Financial is a fintech consultancy. Led a team building the Prime Transaction Manager product for Barclays Capital. Primary achievement: refactoring a 10+ year legacy codebase and modernising the deployment pipeline.\n", "keywords": [ "Java", "WebLogic", "Struts", "JMS", "Scrum" ] }, { "name": "Zoral Labs", "position": "Senior Java Developer", "startDate": "2007-06", "endDate": "2012-03", "summary": "Consulting shop with clients across the US and Europe. Worked on projects for Numara Software (ITIL workflow platform, acquired by BMC), GreenLink Networks (loyalty programme platform on JBoss/EJB), Returnil (antivirus + virtualisation product serving 1M clients), and Fizzback (real-time customer feedback via JBPM). Also contributed a semantic similarity NLP research component in collaboration with a Ukrainian university linguist.\n", "keywords": [ "Java", "JBoss", "EJB", "Spring", "JMS", "ExtJS" ] }, { "name": "Inform-mobil", "position": "Senior Software Developer", "startDate": "2005-08", "endDate": "2007-06", "summary": "Mobile services company working with Ukrainian operators (MTS, KyivStar, Beeline). Developed and managed Internet, WAP, SMS, STK, and IVR services under high load. Built a WAP search engine with morphology support and a crawler. Integrated the Ukrainian national lottery with a mobile operator portal.\n", "keywords": [ "PHP", "Java", "WAP", "SMS" ] }, { "name": "IT Agency \"Green Island\"", "position": "Web Developer", "startDate": "2003-12", "endDate": "2005-08", "summary": "Built a CMS used to deliver ~50 customer websites including clients in banking, insurance, and government (Hydrometeorological Centre, Federal Educational Oversight Service).\n", "keywords": [ "PHP", "MySQL" ] }, { "name": "Moscow Local Internet Provider \"Lianet\"", "position": "Software Developer", "startDate": "2003-10", "endDate": "2003-11", "summary": "In two months, independently developed a customer support and order processing system in Perl on FreeBSD.\n", "keywords": [ "Perl", "FreeBSD" ] }, { "name": "Company \"Association Ltd.\"", "position": "Web Developer", "startDate": "2002-12", "endDate": "2003-10", "summary": "Developed and maintained intranet portal and public-facing e-shop. Integrated the web shop with the company's proprietary ERP system.\n", "keywords": [ "PHP" ] }, { "name": "University \"Ukraine\"", "position": "System Administrator", "startDate": "2001-07", "endDate": "2003-01", "summary": "Ran computer labs during my studies. Installed campus LAN with NAT and firewall. Developed a remote workstation management tool in Delphi/Object Pascal. Maintained the electronic testing system used for exam data collection.\n", "keywords": [ "Delphi", "FreeBSD", "Networking" ] }, { "name": "Regional ISP \"ReIS\"", "position": "System Administrator", "startDate": "1999-06", "endDate": "2003-10", "summary": "Server and dial-up modem pool support. Domain registration for clients. Gained foundational experience with FreeBSD, routing, Sendmail, Apache, Squid, BIND, IPFW.\n", "keywords": [ "FreeBSD", "Shell Scripting" ] } ], "skills": [ { "name": "Functional Programming & Formal Methods", "level": "Expert", "keywords": [ "Haskell", "PureScript", "Elm", "Model Checking (Quint, TLA+, Agda)" ] }, { "name": "Compiler & PL Engineering", "level": "Expert", "keywords": [ "Plutus Core", "Plinth", "Untyped Plutus Core (UPLC)", "DSL design", "Benchmarking", "GHC Core", "GHC Plugins" ] }, { "name": "Blockchain & Smart Contracts", "level": "Expert", "keywords": [ "Cardano", "Plutus", "Plinth", "Stellar", "CIP authorship", "Security" ] }, { "name": "Cloud & Infrastructure", "level": "Proficient", "keywords": [ "AWS Lambda", "EC2 / S3 / RDS", "DynamoDB", "EKS", "Serverless", "Docker", "Nix", "NixOS", "Terraform", "CI/CD (GitHub Actions)" ] }, { "name": "Data & Search", "level": "Proficient", "keywords": [ "PostgreSQL", "Elasticsearch", "Kafka", "Redis", "RabbitMQ", "Hadoop", "GraphQL" ] }, { "name": "JVM Ecosystem", "level": "Proficient", "keywords": [ "J2EE", "Spring", "Dropwizard", "Akka", "Scala", "Clojure", "Groovy", "Scalaz", "Typelevel Cats" ] } ], "projects": [ { "name": "PureScript to Lua: compiler backend", "description": "A custom backend for the PureScript compiler targeting Lua. Written as a hobby project to explore DSL design and compiler construction; this experience led directly to my move into professional compiler engineering.\n", "url": "https://github.com/Unisay/purescript-lua", "keywords": [ "PureScript", "Lua", "Compiler Backend", "DSL" ] }, { "name": "UPLC-CAPE Benchmarking Framework", "description": "A structured benchmarking harness for Untyped Plutus Language Core (UPLC) programs. Measures performance characteristics across compiler versions, enabling data-driven compiler optimization decisions.\n", "url": "https://github.com/IntersectMBO/uplc-cape", "keywords": [ "Haskell", "Plutus", "Benchmarking", "Compiler Engineering" ] }, { "name": "Haskell Stellar SDK", "description": "Open-source Haskell client library for the Stellar blockchain network. First community SDK for Stellar in Haskell; used by DSTOQ in production.\n", "url": "https://github.com/Unisay/stellar-haskell-sdk", "keywords": [ "Haskell", "Stellar", "Blockchain" ] } ], "education": [ { "institution": "University \"Ukraine\"", "area": "Computer Systems and Networks", "studyType": "Bachelor of Science", "startDate": "2001-09", "endDate": "2006-06" }, { "institution": "Radio-Technical College", "area": "Computers Production and Servicing", "studyType": "Junior Specialist", "startDate": "1997-09", "endDate": "2001-06" } ], "certificates": [ { "name": "Zend Certified Engineer (ZCE)", "date": "2007", "issuer": "Zend Technologies" }, { "name": "Oracle Certified Professional, Java SE", "date": "2008", "issuer": "Oracle (formerly Sun Microsystems)" } ], "references": [ { "name": "Christopher Coffey", "title": "CTO @ CollegeVine", "date": "2019-06", "reference": "When we extended our offer to Yuriy, he responded saying that CollegeVine's contract with Alan Turing was signed. While it turned out that this happened to be the name of the agency through which we were working, his sense of humor and zeal for writing quality software were apparent from day 1. Over the course of his time at CollegeVine Yuriy did very high-quality work. He made a major impact spinning up several new Haskell services from scratch, as well as several critical features in our UI. He was never afraid to venture into whichever part of the system we needed him in, and pretty much always left it better than he found it.\nHe's been writing software for a long time, and that experience is apparent in Yuriy's ability to introduce positive change to teams. He was never afraid to share opinions and suggestions for improvement, most of which were adopted by the team. One particularly impressive bit of work was a property-based integration testing framework built upon Selenium, which we used to immediately protect a critical workflow for the company.\nIf you're looking to start up a new engineering team or add a highly effective team member to an existing team, Yuriy is a great choice! I'd be thrilled to work with him again in the future.\n" }, { "name": "Eric Torreborre", "title": "Senior Software Engineer (Rust, Haskell, Scala)", "date": "2019-06", "reference": "I worked with Yuriy at Zalando, in the Merchant Operations department. You cannot make a mistake by deciding to work with Yuriy because he is curious, dedicated and very thorough. I was also the witness of Yuriy's growing love for Functional Programming, using various languages, like Haskell, Purescript, Scala and he is now a very skilled person in that domain, capable of delivering reliable and maintainable systems. On the personal side, he is pleasant to work with, always constructive and a team player. \nIn one icon: highly recommended.\n" }, { "name": "Patrice Moore", "title": "Full Stack Software Engineering Manager", "date": "2013-02", "reference": "Yuriy was amazing. I have hired numerous developers, both in person and through odesk. Yuriy was one of the best. He started working on adding significant features, took responsibility for crafting solutions to technical issues with only minimal direction.\nYuriy reachitected portions of FarReaches wordpress plugin to remove significant technical debt, created and improved significant parts of our automated testing framework, and created an eventbus that allows the browser javascript UI and the PHP wordpress plugin to communicate in an elegant, extensible manner.\n" }, { "name": "Bartlomiej Nagorski", "title": "Delivery Manager & Job Family Lead at GFT", "date": "2012-12", "reference": "Yuriy is highly proficient developer with extensive programming knowledge that covers development, testing and a huge number of frameworks and libraries. He is also familiar with different software development methodologies, which has proved to be very useful in his team lead role. Yuriy has been able to propose a number of technical solutions and process improvements to our clients, as well as organise work for the team and mentor his less experienced colleagues.\nI am recommending Yuriy, because he is a team player, a good colleague and an expert in software development.\n" } ] }