I enjoy most board games, and currently I follow chess. I also have a soft spot for social deduction games like Avalon.
I enjoy taking myself into nature to see the sights.
I am a tenor. Once upon a time I was my high school's section leader, acted in musicals, and competed in PMEA. Now I just karaoke.
I used to act on stage. Now I mostly attend plays in the audience. And maybe do the occasional SCS Musical Revue.
My minor was in philosophy, and I find it complements my CS work nicely. Logic comes up in programming languages a lot, tech law is a hot area, and who hasn't thought about if computers can think? But all of it is fun.
I couldn't be here today without some amazing people: my mom and dad for being there throughout; Dexter Kozen and Bob Constable for mentoring me in undergrad; Jan Hoffmann for being the kind of advisor I needed; Dilsun Kaynar for mentoring my teaching; Frank Pfenning, Stephanie Balzer, and Tom Reps for sitting on my thesis committee; and I'm sure many more I haven't mentioned, and many more yet to come!