About Me

Hi! I'm berberman. I'm a second-year PhD student in Computer Science and Engineering at UC Santa Cruz, advised by Kyle Miller. I'm interested in programming languages and interactive theorem proving, with a particular focus on the implementation of Lean 4 and its applications to formalization and verification.

I'm also a functional programming enthusiast and have used Haskell to build several projects. I've been using NixOS for a few years and enjoy exploring tools and systems that make software development more reproducible and composable.

Outside of programming, I enjoy cooking and exploring restaurants in search of good food at affordable prices.