Generate a tailored SOP for Dr. Jana Dunfield. Improve your application with a focused, well-structured draft.
Jana Dunfield is an Associate Professor at Queen's University, specializing in programming languages and logic from a type systems perspective. Her research focuses on incremental computation, utilizing types to guide the automation of program generation that can respond asymptotically faster to changing inputs. She works on union and intersection refinement types to represent and verify a diverse set of program properties. Additionally, her research explores advanced type systems which can complicate type checking, making type checkers and associated technologies like SMT solvers attractive targets for incrementalization. However, generating correct incremental programs necessitates meticulous checking of the properties and relationships among the components of the computation.
Department of Computing offers research-based, project-based, and course-based patterns.