Personal profile
My group
Research interests
I’m passionate about multidisciplinary research, particularly applying formal methods in analysis of socio-political systems. My doctoral thesis, completed at Leicester University, proposes a formal framework based on category theory that can be used to model and analyse complex systems. In such a framework, a complex system is modelled as a graph grammar (analogous to a linguistic grammar with an alphabet and a set of rules for constructing words and sentences) and its behaviour (analogous to the language corresponding to a linguistic grammar) is captured comprehensively and efficiently by the process of unfolding. The main contributions of this thesis are twofold: 1) improving expressiveness by extending the unfolding theory to graph grammars involving data attributes and/or conditions that constrain application of rules when certain structural patterns are present; 2) applying the extended unfolding theories in analysis of complex systems such as escrow services, token-curated registries for smart contracts, and resource-exchange networks. This framework can be employed in conjunction with other formal methods (e.g. game theory, Machine Learning, graph theory) and is especially useful for analysing adaptive complex systems, also known as autonomous systems.
I'm currently working as part of the Autonomy and Verification Group on the EPSRC-funded "Science of Sensor Systems Software" (S4) research programme. Broadly speaking, my role is to develop, extend, and apply formal verification and development techniques for sensor system software. More specifically, I'm working on verification of swarm robots using different methods including temporal logic and graph grammars.
Education/Academic qualification
Doctor of Philosophy, Applications of Category Theory in Analysis of Complex Systems, University of Leicester
26 Sept 2016 → 26 Sept 2021
Award Date: 20 May 2022
Master in Science, Decentralised Structural Solutions to Resource Dilemmas, The University of Warwick
4 Oct 2010 → 30 Sept 2011
Award Date: 7 Nov 2011
Bachelor of Science, The Power of Social Structures, The University of Sheffield
29 Sept 2008 → 12 Jun 2010
Award Date: 29 Jun 2010
Areas of expertise
- Q Science (General)
- Formal Methods
- Formal Verification
- Graph Grammars
- Temporal Logic
- Category Theory
- Game Theory
Fingerprint
- 1 Similar Profiles
Projects
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A., Lennox, B., Weightman, A., Dennis, L., Dixon, C., Fisher, M., Herrmann, G., Dickson, A., Lanzon, A., Stancu, A., Saiani, A., Freitas, A., Nini, A., Voronkov, A., Brass, A., Vijayaraghavan, A., Parslew, B., crowther, W., Grieve, B., Adorno, B., Jay, C., Wang, C. C. L., Todd, C., Soutis, C., Arsene, C., Dresner, D., Barrett, E., Gowen, E., Arvin, F., Podd, F., Brown, G., Reger, G., Cooper, G., Mairs, H., Yin, H., Kinloch, I., Eleftheriou, I., Li, J., Carrasco Gomez, J., Ainsworth, J., Sinha, J., Ozanyan, K., Smith, K., Twomey, K., Margetts, L., Ren, L., Zhang, L., Cordeiro, L., Rattray, M., Bissett, M., Elliot, M., Alvarez, M., Luján, M., Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M., Peek, N., Marjanovic, O., Dorn, O., Dudek, P., Green, P., Connolly, P., Da Silva Bartolo, P. J., Gardner, P., Martin, P., Potluri, V., Curtis, R., Schmidt, R., Banach, R., Batista-Navarro, R. T., Kaski, S., Midson, S., Watson, S., Holm, S., Furber, S., Schlegel, V., Mirihanage, W., Mansell, W., Pan, W., Sampson, W., Sellers, W., Yang, W., Cai, P., Sun, Y., Alharthi, A., Macario Rojas, A., Serhan, B., Yu, C., Abara, D., Lopez Pulgarin, E., Faruq, F., Tavella, F., Semeraro, F., Liu, G., Fang, G., Niu, H., Taylor, H., Zhu, H., Collenette, J., Amano, K., Lo, K. C. J., Raggioli, L., Romeo, M., Ruocco, M., Ghaffari Saadat, M., Walmsley, M., Mubarik, A., Vinanzi, S., Su, Y., Mcaleese, H., Stringer, P., Stoican, R., Ye, R., Kurawa, S. S., Zhang, T., Krywonos, W., Xu, Y., Tian, Y., Henderson, A., Morley, D., Tallentire, J., Clayton, J., Hawthornthwaite, S., Carlson, J. & Baniqued, P. D.
Project: Research