Personal tools
You are here: Home People Academics Paul Jackson

Paul Jackson

Position: Lecturer
Role: Member
E-mail: pbj@inf (add .ed.ac.uk for real email)
Office(s): IF-4.05
Phone(s): (+44 131 6)505131
Research Interests: Mechanical theorem proving, reactive systems, linear temporal logic.
Homepage: http://homepages.inf.ed.ac.uk/pbj/
Document Actions