I am a PhD candidate in the School of Computing at Queen’s University in Kingston, Ontario. My research is in the Theory and Practice of Programming Languages. I am advised by Jana Dunfield. Previously, I studied physics, mathematics and computer science at University of Colorado Boulder.
Focusing on Liquid Refinement Typing.
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield.
Submitted, September 2022.
Fungi: Typed incremental computation with names.
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Dimitrios J. Economou, Monal Narasimhamurthy.
Draft, July 2018.
Prestige drives epistemic inequality in the diffusion of scientific ideas.
Allison C. Morgan, Dimitrios J. Economou, Samuel F. Way, Aaron Clauset.
EPJ Data Science 7, 40, 2018.