Dr. Eric Atkinson

I’m Eric, a computer science academic who works primarily on programming languages for uncertainty. My research interests include programming languages, program runtimes, program analysis, formal methods, and language design for unusual domains. I am also interested in the intersection of programming languages and AI. I completed my Ph.D. at MIT in Fall 2023, and am currently a visiting reseracher at INSAIT in Sofia, Bulgaria. Starting in Spring 2024, I will be joining the faculty of Binghamton University as an Assistant Professor. I am currently recruiting Ph.D. students for my group in all areas encompassed by my research interests; please email me if you are interested in joining!