Catherine Menon - Senior Lecturer, Department of Computer Science

College Lane Campus, Room LB214


I'm a senior lecturer in the School of Computer Science at the University of Hertfordshire.


My research looks at the use of software in safety-critical systems, particularly autonomous systems. I'm currently interested in the interaction between safety requirements, security requirements, ethical imperatives and trust constraints in autonomous vehicles (AVs). The trolley problem is a good illustration of some of the ethical complexities with AVs.

More generally, the safety-critical systems I've worked with have mostly been in the defence and nuclear sector. There are sector-specific guidance documents for the development of these systems, as well as more generally applicable guidance (IEC 61508 , R2P2 ). A general requirement for these systems is that a safety argument be constructed, to demonstrate that the system is safe for use.

Safety and security requirements are often not aligned with each other, with security considerations requiring system properties and development techniques that are incompatible with safety and vice versa. I'm interested in how we can manage these requirements without conflict, as well as how we can express the ethical imperatives behind them.

If you'd like to discuss collaborations or PhD supervision in these areas, please do get in touch.


I teach on the following subjects:


If you're looking for publications that aren't listed here, I suggest you try the University's Research Profile page, my ResearchGate page or my Google Scholar page