Follow

My name is Rob. I grew up a military brat, but my family is generally from the midwestern US.

I was a software engineer for about a decade, including a ~5-year stint at Square (the payments processor). I made the move to academia about 4 years ago, and I am currently working on a PhD studying programming languages at Purdue with Ben Delaware.

I'm an avid reader in general, and like science fiction in particular. I like to fence, although I do it less than I used to. I play violin and piano equally terribly, and I have a beautiful family who is forced to listen.

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.