Office: Halligan Hall, Room 228
nate at cs dot tufts dot edu
I am a PhD student in the
Department of Computer Science
at Tufts University, working on
programming languages with my advisor
My primary research interests are related to Resource
Analysis and Program Synthesis.
I'm also into weird type systems, event-driven systems,
distributed systems, and machine learning.
Take a look at some of my current projects:
- Ratl, a
mini-scheme with a resource-aware type system based on
RaML, by Hoffmann et. al.
It is written in Haskell, and is meant as a sandbox to
play with resource-aware types, in order to explore their
a domain-specific language for event-driven state machines,
along with a compiler and run time system, co-created with
my colleague Nathan Michaels.
The compiler is written in Haskell, and generates ANSI C89
output. The run time system, Smear, is written in C99.
In the spring 2019, I will be an RA for professor
In the spring and fall of 2018, I was a graduate TA for
Comp 105: Programming Languages
with professor Norman Ramsey.
Before returning to graduate school, I spent 12 years in
industry working on cool stuff like embedded systems and
machine learning for Bose.