I am a postdoc working with Neel Krishnaswami at the University of Cambridge. I completed my PhD in the School of Computing at Queen’s University in Kingston, Ontario under the supervision of Jana Dunfield. Before that, I studied physics, mathematics and computer science at the University of Colorado Boulder.
Publications
Focusing on Refinement Typing.
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield.
TOPLAS, October 2023.
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.
Thesis
Focusing on Modular Refinement Typing
My PhD thesis is an extension of the paper “Focusing on Refinement Typing” that allows multiple measurements on inductive datatypes as well as arrow sorts for indices (so that measures such as whether a list of numbers is in increasing order may be expressed).
Drafts
Fungi: Typed incremental computation with names.
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Dimitrios J. Economou, Monal Narasimhamurthy.
Draft, July 2018.
Teaching
I was a Teaching Assistant for the following courses at Queen’s University:
- Semantics of Programming Languages
- Programming Language Processors
- Formal Methods in Software Engineering (twice)
- Programming Paradigms
- Logic for Computing Science
- Discrete Mathematics for Computing II