I’m interested in exploring the intersection between security and programming language theory.
Projects Collapse ↑
A blog on programming, type theory, Rust, Haskell, and whatever else.
An opinionated static site generator, soon to be used for all my sites.
Parsing with derivatives in Rust. Parses context-free languages in O(n3) time.
Publications Collapse ↑
“Toward consistent cell segmentation: quality assessment of cell segments via appearance and geometry features”
Presented at SPIE Medical Imaging 2015
“Developing an Efficient Algorithm for Nimber Calculation in Dots and Boxes”
Presented at the Southern California Conference for Undergraduate Research 2013
Talks Collapse ↑
Teaching Collapse ↑
Intro to Programming Languages
CSE 320 in the School of Computer Science and Engineering at CSU San Bernardino. Covered Racket, Haskell, Rust, Java, and Prolog in 10 weeks.
Programming in Modern C
A friend asked me to put together a class on programming in C. It’ll focus on C as it really is, including regular coverage of undefined behavior pitfalls.
Expect the materials online soon!