Research Topic

I'm currently exploring the use of simulation and model-checking approaches for testing and development of Cyber-Physical systems, including the use of 3D game engines to support simulation.

My general research interests include cyber-physical systems, IoT/Sensor Networks/embedded/contrained devices, robotics, vehicular ad-hoc networks, operating systems, distributed systems...



  • Fergus Leahy and Naranker Dulay. Ardan: Using 3D Game Engines in Cyber-Physical Simulations. Oct 2016 (Workshop Paper)


  • Fergus Leahy. Integrating a Secure Internet of Things into a Smart Home Router. (MSci Thesis)


  • Fergus Leahy. A lightweight protocol for constrained devices for use in the Internet of Things paradigm. (Dissertation)