Jun 2025 – Feb 2026 · 8 mos · Remote

Jun 2025 – Present · 11 mos

Sep 2021 – Jun 2023 · 1 yr 9 mos

• Contributed to architecture and development of AxCore 3, Axoni’s post-blockchain distributed data synchronization platform supporting applications for major customers in the U.S. financial markets, such as Blackrock.
• Refactored and developed new services for an application serving DirectBooks, the largest digital bond market in the U.S., improving security, availability, and scalability.
• Provided guidance on evolution of enterprise blockchain technology such as Hyperledger Besu and Fabric, Firefly, the Cosmos IBC protocol, etc.
• Proposed integration path between AxCore-based “data” (transaction) networks and to-be-developed “settlement” (ERC-20 stablecoin) networks operated by multiple prospective partners.
• Lead study groups on “Scala With Cats,” “Essential Effects,” “The Type Astronaut’s Guide to Shapeless,” and “Practical FP in Scala.”
• Mentored junior and intermediate colleagues with biweekly 1:1s and upon request.

Dec 2020 – Sep 2021 · 9 mos

• Contributing to flagship Q:Cyber product with an emphasis on refactoring and migrating to the Typelevel stack.
• Leading study groups on “Scala With Cats” and “Practical FP in Scala.”

Feb 2020 – Apr 2020 · 2 mos

• Learned the purely-functional programming language Haskell.
• Implemented new back-end functionality for clients including Bank of America.
• Forked bigquery-emulator and supported multi-arch image building to enable local testing of distributed systems relying on Google BigQuery on Apple Silicon based macOS.
• Provided advanced discussion topics for weekly “FP Dev Talks,” e.g. the composite-hs extensible record system and integrations.
• Contributed to Well-Typed training discussions on designing and implementing DSLs.

Oct 2019 – Nov 2020 · 1 yr 1 mo

• Developed new data ingestion pipeline based on Debezium, Kafka, and the Zeebe BPMN 2.0 cloud-native workflow engine.
• Contributed to the open-source KafkaStreams4s project in support of the new pipeline.

Sep 2018 – Jul 2019 · 10 mos

• Revised data ingestion process for a Fortune 50 client using Spark Hive, Doobie, fs2, and Shapeless
• Mentored colleagues in functional programming in Scala
• Presented https://www.youtube.com/watch?v=0oVpLdgZqpE at Scale by the Bay

Jan 2017 – Aug 2018 · 1 yr 7 mos

• Developed Banno Conversations; Banno’s new real-time chat and transaction system integrating with Banno Online and Banno Support for Banno’s Financial Institution customers to offer personalized, one-on-one help to their customers; using http4s, fs2, Cats, Circe, Kafka, and avro4s (a purely-functional Scala stack)
• Presented Typed FP on the Job: Why Bother? at LambdaConf 2018.

Jun 2013 – Dec 2016 · 3 yrs 6 mos

• Developed go90.com, AOL’s new media-oriented social media system
• Prototyped real-time tuner metrics dashboard for Verizon’s forthcoming IPTV system
• Developed real-time speech recognition service for IPTV
• Developed the Funnel distributed monitoring system
• Presented Type Systems: The Good, the Bad, and the Ugly at Strange Loop 2014
• Presented Formal Logic Undressed at Scala World 2015
• Presented Functional Programming: Destination or Origin? at LambdaConf 2016

Apr 2011 – Jun 2013 · 2 yrs 2 mos

• Developed vCloud Integration Manager, simplifying provisioning of VMware vSphere-based clouds for VMware’s Service-Provider Partners and Value-Added Resellers.
• Drove adoption of Scala, Akka, Spray, ScalaQuery/SLICK, scalaxb, and eventsourced by the team.