Henry Hazan

• Constructed integration libraries to interface with servers and APIs.
• Solidity EVM and Solana implementation
• Architected, developed and deployed decentralized applications to provide permission access to data at smart contract and protocol levels.

Software Architect | Real-Time Multiplayer Game Engine Development
Elixir/Phoenix • Finite State Machines (FSM) • CQRS • Real-Time Systems

• Designed and developed a high-performance finite state machine (FSM) game engine to support real-time multiplayer gameplay at scale.
• Architected low-latency, event-driven systems using Elixir/Phoenix, leveraging Phoenix Channels, WebSockets, and PubSub for seamless real-time communication.
• Applied the CQRS (Command Query Responsibility Segregation) pattern to optimize data flow, ensuring separation of concerns and improving system responsiveness.
• Worked closely with cross-functional teams, including game designers and engineers, to translate gameplay mechanics into scalable and maintainable system architectures.

• Write pool and trading match engine contracts for a derivatives protocol in solidity, self-audit, fuzz-testing, Ethereum EVM gas optimization.
• Integration with Oracle systems (Chainlink, custom oracles)
• Event-driven indexing (The Graph) and subgraph creation
• Audit workflows & checklist creation (Slither, MythX, Echidna)
• Formal verification techniques (Certora, Dafny, Foundry invariant testing)
• Bytecode inspection, opcode analysis, and Yul optimizations

• We are developing a Blockchain protocol that will enable communities to create a P2P coverage for their members, offering automated actuary algorithms and digital signed claim management back-office.
• Groups will be able to pay premiums to DeFi liquidity pools and receive extra capital to cover highly unexpected risks.
• Our smart contracts are compatible with Ethereum EVM, in solidity.

• L2 research and architecture, Arbritrum AVM, optimism L2 deploy, Go development, Ethereum Smart contracts.
• Researched materials to determine appropriate selection for projects.
• Verified construction documentation to meet client requirements and vision.

• Led front-end and back-end architecture using Elixir/Erlang, and Angular to build responsive UI
• Developed and optimized ETL workflows, data lakes, and warehouses to support robust analytics and real-time reporting.
• Architected microservices-based back-end systems with RESTful and GraphQL APIs for high performance and maintainability.
• Designed and maintained automated CI/CD pipelines and infrastructure-as-code deployments to ensure reliable, scalable operations for massive AI data processing.

Led and scaled a full-service technology firm delivering high-quality software solutions across the entire product lifecycle—from strategic planning to deployment and maintenance.

• Established and managed cross-functional teams across India (3 teams) and Brazil, ensuring cost-effective global delivery and 24/7 development cycles.
• Directed end-to-end project execution, including scope definition, budgeting, scheduling, quality assurance, HR allocation, communication planning, and risk management.
• Oversaw research, UX strategy, wireframing, high-fidelity UI design, and prototyping for client validation.
• Spearheaded full-stack development, API integration, and DevOps automation using modern technologies tailored to each project’s unique needs.
• Maintained a strong focus on code quality, scalability, and long-term maintainability, aligning technology stacks with project goals and client expectations.

• Modeling strategies, software development in C#, C++ and Java, options pricing platform for structured products, ATS implementation.

• Independent Consultant for Quantitative Trader & Software Developer.
• Research, backtesting & Implementation of quantitative trading strategies using CEP Apama and C# OpenQuant platforms.
• We worked on seeking-alpha strategies, and in a join with Alpes Corretora, we developed several execution strategies, to buy pair trading with best prices.
• Apama strategies were running on Bovespa co-location servers.

• Developed a multi-threaded database server, to access binary files, caching the information in object format, and using the Observer Design Pattern to create a real time monitoring from UDP sockets, sending signals to Java applets in a web-browser, or Servlets using XSLT to dynamically format views.
• Reading from the binary file were optimized using bi-sect algorithm for searches, and all the data bases operations were built from scratch.

• Developed an agent based model financial simulator in Java to calculate risks for new financial products, using monte-carlo simulations, where agents profiles generate future cash flows.
• Every user was modeled as a POJO object, and objects received distributions on how they should pay monthly fees to receive a premium counting from one year payments, the system simulated several scenarios, including negative cashflows and banking lending, with different ranges of interest rates.

• GUI, SQL database and QA for an automated POS [Point of Sales] in Delphi.
• UML design for Object Oriented Design using Rational Rose for a C++ simulator to calculate the train energy capacitation.

• Lead a software service provider with 3 developers, that was one the first companies in Brazil to offer Web Application Development & Web-Design.