![[photo]](jana2023-05.png)
“On that mask-wearing kick again, eh, Jana?”
Not on it again—still on it.
3M Aura 9210+
I'm an Assistant Professor in the School of Computing at Queen’s University in Kingston, Ontario.
My research area is the theory and practice of programming languages, building type systems that make software better: refinement type systems catch more bugs; languages for incremental computation can asymptotically improve performance with little programmer effort. Bidirectional typing has been a key technical ingredient in much of my work.
My PhD is from Carnegie Mellon with Frank Pfenning, followed by a series of non-tenure-track positions at McGill, MPI-SWS and UBC.
For more details, see my CV.
Until 2020, I published under a different first name. If you cite me, please cite me as Jana Dunfield, even if the publisher has not made the change (arXiv, Elsevier, Cambridge University Press, Springer and ACM have updated my name). I have corrected my name in copies under my control. If you need to use a pronoun for me (for example, when citing a sole-authored paper), please use she/her/her/hers/herself.
Read why you shouldn't use Google Scholar.
Except when attempting to speak German, I pronounce my name with initial /dʒ/ (English j), rhyming with Hannah.