Eric Atkinson

Eric Atkinson is an Assistant Professor in the School of Computing at Binghamton University, specializing in programming languages for uncertainty and their intersections with artificial intelligence. He holds a PhD from MIT (2024), an MS from MIT (2018), and a BS from UC Berkeley (2015). Prior to Binghamton, he was a visiting researcher at INSAIT in Sofia, Bulgaria, and conducted research internships at Facebook and Mozilla.

His research focuses on programming languages, program runtimes, formal methods, and AI integration. Key interests include probabilistic programming, static analysis, and runtime systems for uncertain domains. He teaches programming languages courses and advises PhD and M.Sc. students.

His publications span probabilistic programming systems, compiler optimizations, and formal verification. He actively participates in academic service roles, including program committees for PLDI, LAFI, and OOPSLA, and mentors underrepresented groups in graduate school through initiatives like the MIT EECS GAAP program.