Making PADS work with binary and cyclic data structures.
Programmer comprehension and verification of Java Virtual Machine memory layouts.
I'm an avid runner, ran the 2016 Providence marathon.
I play Tuba - saving up to buy a really nice rotary-valve C Tuba.
When I'm not running or doing the grad school thing, I'm usually either
playing board & card games with friends or hacking on my raspberry pi
and various other devices. I like to think I'm into photography, but really
I just take pictures with my phone and occasionally
post to Instagram.