Designing and Implementing Daml models, including devops scripts that act on Canton nodes - e.g. deploying models, creating contracts, archiving them, migrating them to new model versions. Daml is a smart contract language from Digital Asset. Canton is a network of nodes that, together, constitute a distributed ledger.

I set up a testnet node on the Cardano blockchain during the Shelley testnet phase (early 2020).

I am writing a Haskell database access module, trying to unify Opaleye and Selda access through a common interface. This will eventually become the database module of a Haskell web service architected for modularity - easy replacement of libraries - and maintainability.

I am studying the fundamentals underlying Haskell and functional programming - lambda calculus, type theory, mathematical logic, category theory.

I am researching what a quantum functional programming language would look like.

I analyzed a 300 GB health insurance claims data set in order to find out if we could make health insurance recommendations based on demographic information.

I designed a data warehouse schema (Postgres) to support analytics queries.

I wrote a Python web app (using Flask) to make analytics on our product available to the rest of the company. It combined Google analytics and local homegrown analytics derived from our operational database.

I advocated for the use of Haskell in analytics and data science.

I wrote an ETL program in Haskell, using Opaleye, to keep the analytics warehouse updated from the live operational database.

I built a web microservice in Haskell, using Servant, to respond to HTTP requests for analytics. The service accessed the analytics warehouse as its backend. Deployment to servers used Python scripts.

I applied for a patent for a machine learning system to make recommendations to large companies on their internal communications to subgroupings of the company.

I looked into a functional framework for data processing. Explored moving from C++ to Haskell in the process.

I contributed to startup business strategy, and reviewed research funding proposals.