I am a computer science PhD student at the University of Kansas, focusing on programming languages and semantics. My Twitter handle is @roboguy20.