Projects per year
My interests are in functional language implementation, pattern matching, term-rewriting, higher-order type systems and data-type generics. My research sits firmly in computer science, straying into applied mathematics on occasion. I am also an avid reader of research in computer science education, software language engineering and programing language design.
My teaching philosophy is to empower students to learn by giving them the guidance and opportunity they need to construct their own understanding of the course material and to navigate the sea of information which lies before them.
Computing is a discipline full of complexity. By keeping my teaching tied to its mathematical underpinning I give students the opportunity to internalise a manageable version of the task at hand from which they can later build a broader understanding.
Research Output per year
Choice and background knowledge: how do individuals evaluate accumulating evidence in a murder scenario?Mackenzie, E., Chalmers, E., Wastell, C. A., Duncan, P. & Roberts, M., 2 Apr 2018, In : International journal of psychological studies. 10, 2, p. 1-14 14 p.
Research output: Contribution to journal › Article › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › Research