Brian LaChance

1 About

I’m a PhD student at Tufts University, and my research focuses on compiling small-step abstract machines to efficient implementations. This is ongoing work with Kathleen Fisher.

I finished a master’s thesis at Northeastern University, where I worked on a type system for Racket’s first-class contracts with Asumu Takikawa and Matthias Felleisen. Eventually, this work will be integrated with Typed Racket.

Before Northeastern, I did time in industry and a BS in computer science. My undergraduate degree is from San Jose State University.

2 Contact


3 Research interests

Abstract machines, contracts, programming languages