Vacancies: Research Fellowship in Formal Methods for RTEMS-SMP Q4 2019, Tweet #FormalRTEMS
My key areas of interest are Formal Methods and Functional Languages. In particular my research focusses on the development and use of the Unifying Theories of Programming (UTP) paradigm. Application areas include: clinical pathways; medical device software; and spacecraft operating systems.
Current research explorations include:
I am actively involved in Lero: the Irish Software Research Centre .
Formal verification of multicore real-time scheduling. Funded by ESA (2yrs, started Feb 2019).
Investigating formal techniques for medical device software development. Funded by SFI through Lero, Hub A (Ongoing, 2016-2020)
I am on the Editorial Board of Formal Aspects of Computing
I am currently on the programme committee of: TASE 2019.
I have have served on the following programme committees: IWFM, NFWM, FMICS, FM, IFL, TFP, UTP, ICTAC, ICFEM, SBMF, among others.
I was active in the Irish Formal Methods Special Interest Group IFMSIG), a programme committee member and former co-chair for IWFM and a maintainer of the IFMSIG mailing lists. I was also a member of the Irish Mathematical Society.
I also used to assist in organising the occaisional/annual Trinity Week Academic Symposium,
I was also a founder-member and director of the Skrabanek Foundation, named after the late Petr. Skrabanek of Trinity College, and dedicated, like his life, to the encouragement of enquiring and sceptical minds, particulary in so far as medical science is concerned.