- Location: Dubai, UAE
- Phone: +971586924747
- Email: [email protected]
- LinkedIn: linkedin.com/in/graninas
- GitHub: github.com/graninas
- Languages: Russian (Native), English (Fluent)
- Programming Languages: Haskell, C++, (expert), PureScript, C# (good), Python (okay), Rust (pending)
- Blockchain & Financial Systems: Cardano, blockchain-based trading systems, distributed frameworks, payment technologies
- Technologies: Backend; REST APIs; JSON-RPC; OOP, FP, SQL, KV Databases, CRUD, concurrency, multithreading, HTTP, DSLs, XML, JSON, .NET WPF, C++ Boost, C++ STL
- Software Architecture: backends & APIs, my own methodologies: Functional Declarative Design (FDD), Hierarchical Free Monads (HFM), and Pragmatic Type-Level Design (PTLD)
- Team leading
- Teaching & Mentorship: Experienced educator, book author, international speaker
Software architect and developer with more than 15 years of experience. Technical writer specializing in Haskell, blockchain technology, and functional programming. Known for pioneering approaches in functional design, I am the author of Functional Design and Architecture and Pragmatic Type-Level Design, which have influenced the field of functional programming by promoting practical, industry-oriented methodologies. With extensive expertise in building robust, testable frameworks and applications, I bring a unique blend of deep technical skills and a clear, architectural vision to complex software development projects.
Software Architect
Blockchain / Haskell / Cardano
Feb 2022 - Oct 2022
- Led the development of a blockchain-based trading platform, overseeing a team of four Haskell developers.
- Integrated Haskell, Cardano, and Plutus to deliver a secure, scalable trading solution focused on blockchain smart contracts.
- Provided architectural guidance, enabling the team to adopt best practices in functional design for blockchain applications.
Haskell Team Lead
- Blockchain / Haskell* Aug 2018 - Dec 2018
- Developed a high-performance Haskell framework for distributed applications, supporting multithreading, concurrent state management, network functionality, and database handling.
- Implemented a modular architecture focused on code reliability and scalability, addressing the specific challenges of distributed systems.
Senior Software Architect
Financial systems / Haskell, PureScript
Mar 2019 - Apr 2020
Nov 2020 - Apr 2021
- Spearheaded the creation of Haskell and PureScript frameworks to support two core financial products, enabling a robust backend for payment APIs and a mobile app.
- Designed the PureScript Presto and PureScript Presto.Backend frameworks, optimizing the handling of financial operations across platforms.
- Introduced Hierarchical Free Monads and automated white-box testing in Juspay’s tech stack, establishing a solid foundation for consistent quality and maintainability.
- Architected and led the development of EulerHS, a Haskell-based framework for web backends, establishing coding standards and architectural practices that guided further projects.
- Built payment services within EulerHS, creating reusable templates and modular code structures that standardized Haskell development practices at Juspay.
- Led a team of four, ensuring alignment with my Functional Declarative Design methodology to streamline application building, testing, and code maintenance.
Software Developer, C++, C#
Security / Data Leakage Prevention / Algorithms
May 2012 - Apr 2016
Senior Software Developer, C++, Python
Geoservices
Apr 2016 - Jun 2017
- Book: Functional Design and Architecture (Early Edition, Self-Published, 2020)
- Book: Functional Design and Architecture (New Edition, Manning Publications, 2024)
- Book: Pragmatic Type-Level Design (Self-Published, 2024)
- Articles:
- Functional Declarative Design: A Comprehensive Methodology for Statically-Typed Functional Programming Languages
- Hierarchical Free Monads: The Most Developed Approach In Haskell
- The Voids Of Haskell
I gave more than 20 talks at international conferences, including:
-
Keynote: The Present and The Future of Functional Programming in C++ C++ Siberia 2019, Novosibirsk Delivered a keynote on the integration of functional programming concepts in modern C++ standards, addressing the current state and future possibilities of functional programming within the C++ ecosystem.
-
Hierarchical Free Monads and Software Design in Functional Programming Functional Conf 2019, Bangalore, India Presented advanced concepts in functional programming, focusing on the use of Free Monads for designing scalable and testable applications.
Chita State University
Software Engineer, Programming, Software Development, Physics, Mathematics
2003 - 2009