Paul Jackson - Physicist

Lecturer

Research Interests: The design of mechanical theorem proving environments, their use for software and hardware development and for general-purpose mathematics, and linking theorem provers, computer algebra systems and model checkers