Background
Eric Atkinson is an assistant professor of computer science who works primarily on programming languages for uncertainty. His research interests include programming languages, program runtimes, program analysis, formal methods and language design for unusual domains. He is also interested in the intersection of programming languages and artificial intelligence.
He completed undergraduate education at the University of California, Berkeley in 2015, and his graduate education at MIT in fall 2023. Before arriving at 91社区 in January 2024, he was a visiting researcher at INSAIT in Sofia, Bulgaria.
Education
- BS: University of California, Berkeley
- MS, PhD: Massachusetts Institute of Technology
Research Interests
- Programming languages and runtimes
- Program analysis
- Formal methods