I write code.
PhD from RPI in computer science, where I worked in an intersection of formal logic, large-scale environments, and AI to assist in planning and reasoning for users in group settings.