University of Brigant
Senior Lecturer in Software Engineering
Dr. Robertson specializes in distributed systems verification, microservice resilience, and automated compiler testing.
Automated Fuzzing of Distributed Consensus Protocols
ACM Transactions on Software Engineering · 2024