Regular biography
Paul Jackson is a Senior Lecturer and Director of Institute at The University of Edinburgh's Department of Computer Science. His work focuses on research areas not explicitly detailed in available sources. Jackson's professional profile can be accessed via his university website, where further details about his research and contributions may be found. He is reachable via email at Paul.Jackson@ed.ac.uk.
Scholar-generated biography
Paul B Jackson is a researcher at the University of Edinburgh, specializing in formal verification and theorem proving. His work focuses on developing and applying proof systems to verify complex computational systems, including algorithms and hardware designs. He has contributed to the Nuprl proof development system, enhancing its capabilities for formal verification tasks. His research includes verifying garbage collection algorithms, exploring abstract algebra in constructive type theory, and using SMT solvers for high-integrity program verification. Additionally, he has worked on invariant generation for continuous systems and formalizing automata theory. His publications often intersect with computer-aided verification and hybrid systems, emphasizing rigorous mathematical foundations for software and hardware correctness.