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...

Roles

Publications

2018

  • DejaVu: Visual Diffing of Cyber Physical Systems. (Paper) Feb, 2018, EWSN'18. Fergus Leahy and Naranker Dulay. PDF(Paper)

2017

  • Proceedings of the 6th Imperial College Computing Student Workshop. (Editor) Sept, 2017, ICCSW'17. Editors: Fergus Leahy and Juliana Franco. ICCSW website - Proceedings
  • DejaVu: Visual Diffing of Cyber Physical Systems. -- Awarded Best Poster (Poster) Nov 2017, BuildSys'17. Fergus Leahy and Naranker Dulay. PDF(Abstract) - PDF(Poster)

2016

  • Ardan: Using 3D Game Engines in Cyber-Physical Simulations. (Paper) Oct 2016, CyPhy - CPSWeek'17. Fergus Leahy and Naranker Dulay. PDF - Proceedings

2014

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

2013

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