Hello, I'm Nate Bragg
Welcome to my personal website. I am a computer scientist and software engineer with expertise in programming languages and embedded systems.
Welcome to my personal website. I am a computer scientist and software engineer with expertise in programming languages and embedded systems.
I am a PhD student in the Department of Computer Science at Tufts University, working on programming languages with my advisors Jeff Foster.
My primary research interests are related to Program Synthesis, applications of Convex Optimization, and Resource Analysis.
I'm also generally into weird type systems, event-driven systems, distributed systems, and machine learning.
Before returning to graduate school, I spent 12 years in industry working on cool stuff like embedded systems and machine learning for companies including Bose and ADB Airfield Solutions.
Before that, I got my BS in Electrical Engineering at Rensselaer Polytechnic Institute.
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.
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 concrete applications.
A networked smart speaker. My contribution was to improve network and distributed system infrastructure and performance via profiling, optimization, and analysis-driven redesign. I also contributed to overall application design and implementation.
"Nate is a very creative thinker, making connections between ideas from different areas of computer science and even electrical engineering with promising results."
"Nate can quickly understand the most complex problem or topic, in anything from high-level algorithms to low-level device software, and design and implement an elegant solution to it. He is a really great team member and colleague to work with, willing to help and mentor others whenever anyone needs it."
Feel free to reach out to discuss potential collaborations or if you have any inquiries.