Software/Infra Engineer
I am a functional programmer and infrastructure engineer who has solved real-world problems for both startups and Fortune 500 companies. I love declarative code and infrastructure but believe that project success depends on effective communication more than technology choices.
Our 3 person team built Unison Cloud, where users deploy web services, batch jobs, and daemons
Implemented Unison data plane that executes user code in a distributed, sandboxed environment
Maintained Haskell control plane for auth, service membership, billing, and real-time events
Managed servers, databases, auto-scaling groups, network policies, DNS, etc with Terraform
Developed foundational libraries for nascent Unison ecosystem: HTTP, connection pool, JSON, AWS, Redis, etc
Reduced bias of template emails in training data with scalable near-duplicate detection via locality-sensitive hashing
Built LSTM model to detect requests in emails (filtered training data, managed labeling team, trained model)
Wrote a library based on Kleene algebras to detect patterns in email threads (ex: 2+ requests with no reply)
Developed maligned, an open source library modeling data pipelines as type-aligned sequences
Applied NLP to normalize/pseudonymize corpora, managing tension between privacy and need for real-world training data
Implemented a build-time check for incompatible changes to Avro schemas
Tech lead and manager for a voice services team of 5 engineers
Integrated with ASR, NLP, and media metadata services to deliver real-time voice search results
Developed Scala libraries used by multiple teams for metadata search, authentication, service discovery, and more
Used functional programming to promote maintainable, testable, composable code
Mentored others through tech talks, pair programming, code reviews
Developed Scala micro services supporting personalized content recommendations
Authored libraries to streamline configuration, binding/validation, data access
Integrated real-time updates with Twitter, Facebook, Mixpanel, internal services
Modernized an underwriting Java/JS web app for Liberty Mutual Insurance
Restructured code to be more type safe, modular, and concise
Introduced unit tests and transaction management
Co-architected and solely developed a major UI redesign
Summa Cum Laude
Client Infrastructure as Code library for deploying services, batch jobs, and daemons
Toggle a single line to deploy to Unison Cloud or a local development cluster
HTTP server supporting persistent connections and WebSockets
HTTP client supporting connection pooling, WebSockets, and proxies
Co-created and maintained OSS project with hundreds of contributors
Generalized (beyond char/text) regular expression engine and API
Exposes type-safe capturing API via Alternative/Applicative functors
Generates random strings that match a provided regex
Interactive JavaScript regex explorer