Ryan Kirwan’s research interests involve Software Engineering and the application of Computing Science into the domain of Electronics. During his time at UoG he worked at IBM to produce novel interactive web applications, incorporating a variety of data visualization techniques. Through his PhD research he worked with autonomous, learning, robotic systems. His research led him to develop explicit-state and probabilistic models of these robotic systems through the formal Computing Science technique of Model Checking. Through his research into the simulation and modelling of such systems he developed new and powerful abstraction frameworks to facilitate the accurate representation of such systems and was able to prove the correctness of unstable learning algorithms–given specific contexts. Furthering his interests have brought him into the field of automatic system generation and project work involving IoT devices to aid in the fields of rehabilitation and eldercare.