Brian Campbell
Research Assistant
Computer science
The University of Edinburgh
United Kingdom
Biography
Brian Campbell Position Research Assistant Roles Member of Laboratory for Foundations of Computer Science
Research Interest
Computer Science
Publications
-
Extracting Behaviour from an Executable Instruction Set Model
-
Randomised testing of a microprocessor model using SMT-solver state generation
-
Certified Complexity (CerCo)
