๐ Hi! I'm Ben.
- ๐ I'm a PhD student in CS at Yale.
- ๐ I graduated from Vanderbilt in 2023 with a bachelors in CS and honors math.
- ๐ฅฐ I'm currently obsessed with tree-sitter, eBPF, build systems, and foundation models.
- ๐ฑ I'm currently learning about machine learning, distributed systems and cybersecurity.
- ๐ I'm looking to collaborate on formal verification efforts and developer tooling for new and existing languages.
- ๐ค I'm looking for help with organizing and developing mathematical theories in Coq.
- ๐ฌ Ask me about blockchain (Ethereum, Bitcoin), mathematics, type systems and compilers for functional and imperative languages.
- ๐ซ How to reach me: Send me an email, or reach me on Matrix (siraben)!
Languages
Assembly, C, C++, Coq, Dart, Haskell, Kotlin, Mathematica, Python, Rust, Scheme, Solidity, Typescript
Tools & Technologies
Ethereum, Emacs, Nix, iOS, Linux, macOS, PyTorch
Mathematics
type theory, category theory, logic, abstract algebra, topology, measure theory