Charlie Burholt

Papers

Total Citations

H-Index

About

Charlie Burholt is a researcher at the forefront of ensuring that autonomous agents—from AI systems to robots—operate safely and ethically within human society. His work centers on the specification, validation, and verification of social, legal, ethical, empathetic, and cultural (SLEEC) requirements for these systems. Burholt’s major contribution is the development of formal methods and toolkits that allow engineers to specify normative rules and verify that autonomous agents comply with them. His most-cited paper, “Specification and Validation of Normative Rules for Autonomous Agents” (2023, 18 citations), lays the groundwork for this approach. Building on this, his 2024 paper introduces SLEEC-TK, a practical toolkit for implementing these requirements, which has already garnered 6 citations. By bridging the gap between abstract ethical principles and concrete software verification, Burholt is helping to build trust in AI systems. His work is essential reading for anyone interested in responsible AI, autonomous systems, or the engineering of trustworthy technology.