Rian Shambaugh

PhD Student
College of Information and Computer Science
University of Massachusetts Amherst

rian@cs.umass.edu - linked-in - github

Room 354
Computer Science Building
140 Governors Drive
Amherst, MA

I am a first year graduate student studying Computer Science.  I work with Arjun Guha in the PLASMA lab.

Currently, I am working on a tool that checks for determinacy in Puppet programs.  My research interests include programming languages and formal verification.

B.S. Computer Science, George Washington University, 2015