A. W. Roscoe

A. W. Roscoe is affiliated with the University of Oxford in the United Kingdom. Their research primarily focuses on computer science, with a concentration on several key subfields such as artificial intelligence, computational theory and mathematics, computer networks and communications, information systems, and signal processing.

Their work spans multiple topics in computing, including security and verification in computing, formal methods in verification, distributed systems and fault tolerance, blockchain technology applications and security, advanced malware detection techniques, logic programming and type systems, as well as cryptography and data security.

Roscoe has published scientific papers in various academic venues. Some recent and notable publications include:

• Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity (2020, arXiv - Cornell University)
• A refinement-based approach to safe smart contract deployment and evolution (2024, Software & Systems Modeling)
• Translating between models of concurrency (2020, Acta Informatica)
• Fully Decentralized Post-Quantum Resistant Authentication, Encryption Protocol with Full Data Interoperability Universally Deployable in any Network Environment (2022, 2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering - ICECCME)
• Guardian: symbolic validation of orderliness in SGX enclaves (2021, arXiv - Cornell University)

Their frequent co-authors include:

• Pedro Antonino
• Augusto Sampaio
• Filipe Arruda
• Juliandson Ferreira
• Jonathan Lawrence

Roscoe's work has been published multiple times in venues such as arXiv (Cornell University), Software & Systems Modeling, Acta Informatica, the 2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), and the International Journal on Software Tools for Technology Transfer.

Throughout their career, Roscoe has contributed significantly to research areas emphasizing formal verification, secure software systems, and distributed computing protocols. Their research outputs reflect a combination of theoretical and applied approaches in contemporary computer science challenges.

In recognition of their contributions to engineering and science, A. W. Roscoe was named a Fellow of the Royal Academy of Engineering (UK) and became a Member of the Academia Europaea, both in 2011.