Dee Quinlan

I am a PhD student in the ULTRA (Logic, Types, and Rewriting) group in the Computer Science Department in the School of Mathematical and Computer Sciences at Heriot-Watt University.


Professor Fairouz Kamareddine, Dr Joe Wells

What I'm working on

I am currently working on categorising and defining some of the metalangage used for defining abstract syntax.


David Feller, Fairouz Kamareddine and Lavinia Burski. Using Mathlang to Check the Correctness of Specifications in Object-Z. Modern Mathematical Methods and High Performance Computing in Science and Technology (M3HPCST 2015 proceedings), volume 171 of Springer Proceedings in Mathematics & Statistics, Pages 45-70. Springer, 2016.

Dee Quinlan, Joe B. Wells and Fairouz Kamareddine. BNF style notation as it is actually used. Intelligent Computer Mathematics, Pages 187-204. Springer, 2019.

Contact Information

Email Local Part felerddd
Voice Office Tel. +44 131 451 4196
Dept. Tel. +44 131 451 3328
Post School of Mathematical and Computer Sciences
Heriot-Watt University
EH14 4AS
Office EM 167

Conferences Attended

Federated Logic Conference (2018)

Conference on Intelligent Computer Mathematics (2019)

Talks given

What Does This Notation Mean Anyway: BNF-Style Notation as it is Actually Used (A variant of this talk was given at both of the above)