Paul Jackson's Home Page

I am a Senior Lecturer in the School of Informatics at the University of Edinburgh.

Paul.Jackson (@)
Room 4.05
Informatics Forum
10 Crichton Street
Edinburgh EH8 9AB
United Kingdom
[+44] (0)131 650 5131
[+44] (0)131 651 1426



My research interests concern the development of formal verification tools and their application in such areas as hardware verification, software verification and formalised mathematics.

Specific current interests include:

In the past I have been interested in topics such as

Publications, Reports and Talks



Postgraduate Students

Current PhD students: Previous PhD students include

Professional Activities

Local Affiliations

Within the School of Informatics, I am a member of several research institutes: the Laboratory for Foundations of Computer Science (LFCS), the Institute for Computing Systems Architecture (ICSA), and the Centre for Intelligent Systems and their Applications. Within CISA, I am most active with the Mathematical Reasoning Group



I currently teach: In the past I have taught such courses as


Each year I supervise final year projects within Informatics and MSc projects at the ISLI. Recent subjects of projects at Edinburgh include: and at the ISLI: I have also proposed project on such topics as which have not yet attracted takers. If you are at Edinburgh or the ISLI and looking for a project topic similar to any of the above, please get in touch.


My main administrative job in the School of Informatics is that of Senior Tutor, providing support and advice to the School's Personal Tutors and figuring out ways forward for students who are having difficulty with their studies. I am also Personal Tutor for 16 students.


Sep 11-present:
Senior Lecturer in Informatics at University of Edinburgh
Jan-Mar 03:
Visiting Fellow with the Computer Science Laboratory SRI International, Menlo Pk, California.
Apr 99-Aug 11:
Lecturer in Informatics at University of Edinburgh and in System Level Integration at Institute for System level Integration
98-Mar 99
Lecturer in Informatics at University of Edinburgh.
Research Fellow in Computer Science at University of Edinburgh.
MS, PhD degrees and post-doc in Computer Science at Cornell University, Ithaca NY, USA. Most of this time I was involved with the Nuprl project.
MS in Physics at Cornell University. Studied electron spin resonance in sapphire substrates using superconducting microstrip resonators.
Designed application-specific ICs for US General Electric in North Carolina, USA.
Undergraduate in Engineering at Cambridge, England. Electrical Sciences Tripos in 3rd year.

Paul Jackson
Last modified: Thu 30 January 2014