Dr Michele Sevegnani he/him

I am a Senior Lecturer in Computing Science at the University of Glasgow and an internationally recognised researcher in bigraph theory and its applications to Digital Twins, Human-Autonomy Interaction, and network protocols. My research spans formal methods, stochastic modelling, spatial logics, and decision support systems, with a strong emphasis on applying mathematical rigour to real-world, safety-critical domains. My work has helped extend the expressive power and practical utility of bigraphs, enabling their use in modelling complex, reconfigurable systems across multiple domains.

As a supervisor, I have worked with PhD students from a wide range of nationalities and academic backgrounds. I have supported research across diverse topics, including foundation models for neuroscience, the societal impact and risks of deploying AI in policing, safety-critical air traffic control systems, and cyber-physical systems for robotics. I take a hands-on approach to supervision, meeting regularly with students and co-supervisors to provide guidance and foster collaboration. I actively encourage my students to engage with different research communities by attending doctoral symposiums and conferences, and I support them in working towards high-impact publications.

Joining the DiveIn CDT would allow me to continue mentoring talented doctoral researchers in a collaborative and interdisciplinary environment, where diverse perspectives and expertise come together to tackle complex challenges with mathematical rigour and real-world relevance.