Find Academic Supervisors

• Formal Methods
• Functional Languages
• Unifying Theories of Programming
• +5 more

Dr. Andrew Butterfield is a Professor in the School of Computer Science and Statistics at Trinity College Dublin. He serves as Head of the Foundations and Methods Group and is actively involved with Lero: the Irish Software Research Centre. His academic work spans formal methods, functional programming, and theoretical computer science with applications in safety-critical systems. Butterfield's research primarily focuses on the Unifying Theories of Programming (UTP) paradigm, with specializations in shared-variable concurrency, formal verification of medical device software, and spacecraft operating systems. His work explores composition and local denotational semantics for concurrency, UTP theories for rely/guarantee reasoning, and implementations of proof assistance tools written in Haskell. Current projects include RTEMS-SMP (formal verification of multicore real-time scheduling funded by ESA) and FMHIDA (formal techniques for medical device software development funded by SFI through Lero). His recent publications reveal a strong emphasis on applying formal methods to real-world problems, with particular attention to concurrency models, medical systems verification, and tool development for UTP. The research shows consistent progression from theoretical foundations toward practical applications in safety-critical domains. Butterfield has developed several Haskell-based tools including the Theorem Proving Assistant for UTP, UTP Calculator, and Equational Reasoning Support. He has served on numerous program committees including TASE 2019, IWFM, FMICS, and FM, and is on the Editorial Board of Formal Aspects of Computing. He teaches courses including CS3016: Introduction to Functional Programming and CS2016/3D4 Concurrency and Operating Systems. Previously, he has taught Formal Methods, Functional Programming, Concurrency Theory, and various other computer science subjects. He also serves as School Disability Liaison Officer and Course Director for Creative and Cultural Entrepreneurship. Butterfield leads the Foundations & Methods Group at Trinity and has been involved in significant research projects including Formalising Interfaces between Software and Hardware (FISH) funded by SFI, Unifying Synchronous Systems, and ESA-funded activities on OS kernel formal verification. His work with the Irish School of VDM has produced LaTeX macros and Haskell implementations for formal method applications.

• Personalised Nutrition
• Human Nutrition
• Dietary Interventions
• +5 more

Associate Professor Eileen Gibney is a faculty member in the School of Agriculture and Food Science at University College Dublin (UCD), serving as Deputy Director of the UCD Institute of Food and Health and Director of Executive Education. She is a Funded Investigator with the Insight Centre for Data Analytics and contributes to the BSc Human Nutrition program. Her educational background includes: BSc in Human Nutrition from Ulster University PhD from the Dunn Nutrition Unit, University of Cambridge (2001) MSc in Molecular Medicine from Trinity College Dublin (2003) Professor Gibney's research centers on personalised nutrition , investigating inter-individual variation in dietary responses and developing innovative technologies for personalised dietary feedback. Her work spans sustainable diets , dairy science , and cardiometabolic health , often through large-scale intervention studies like MyPlanetDiet and Food4Me. She integrates environmental sustainability with nutritional science, focusing on portion size standardization and digital dietary assessment tools. Her recent publications (2024-2025) demonstrate leadership in sustainable diet research, dairy product health impacts, and AI applications in nutrition. Key trends include methodological innovations for global dietary guidelines, evaluation of dairy matrices on cholesterol metabolism, and development of culturally adapted digital tools like Foodbook24 for diverse populations. She has secured major funding as Principal Investigator for: Food4Me: Pan-European personalised nutrition intervention Food for Health Ireland: National food research consortium Insight Centre: Data analytics for nutrition and health FNS-Cloud: Framework for dietary data reuse Professor Gibney serves on the Public Health Nutrition sub-Committee of the Food Safety Authority of Ireland and is a Trustee of the Nutrition Society of UK and Ireland. She previously served as Associate Dean of Teaching and Learning (2015-2019) and Director of the Irish Association for Clinical Nutrition and Metabolism (2010-2019).

• Cardiology
• Arrhythmia
• Electrophysiology
• +6 more

Dr. Usama Boles serves as an Honorary Clinical Senior Lecturer in the Department of Medicine at the Royal College of Surgeons in Ireland (RCSI). He is a Consultant Cardiologist and Electrophysiologist specializing in Arrhythmia and Electrophysiology, with extensive clinical experience spanning interventional procedures including ablations and intracardiac device implants, outpatient clinics, and screening for congenital cardiac arrhythmias and sudden cardiac death. His educational background includes a PhD in Cardiology from Umea University, Sweden (2011-2019), a Masters from Trinity College Dublin, Ireland (2007-2010), an MB, BCH from Cairo University hospitals, Cairo, Egypt (1993-2000), and a PGD in Health care Management from University College Dublin, Ireland (2009-2010). Dr. Boles' research focuses on cardiac electrophysiology with particular emphasis on atrial fibrillation management, left atrial scar burden analysis, and optimization of ablation techniques. His work spans clinical electrophysiology, arrhythmia mechanisms, and device therapy. He has made significant contributions to understanding the relationship between voltage mapping in different cardiac rhythms and developing improved ablation strategies for persistent atrial fibrillation, with a special interest in scar quantification and its clinical implications. His scholarly output includes over 40 publications in high-impact cardiology journals, with recent work focusing on novel voltage analysis techniques, coronary artery ectasia pathophysiology, and device-related outcomes. His research demonstrates consistent progression from basic electrophysiological mapping to clinical applications in complex arrhythmia management, with emphasis on practical improvements in ablation techniques and patient outcomes. Fellow, Heart Rhythm Society (FHRS) Fellow, European Society of Cardiology (FESC) Fellow, Royal College of Physicians in Ireland (FRCPI) Dr. Boles actively collaborates with international committees and participates in guideline discussions through his fellowship positions. He works with numerous young colleagues on ongoing research projects related to persistent atrial fibrillation and scar burden analysis, providing mentorship opportunities for interested candidates. His book authorship includes a monograph on Coronary artery Ectasia and co-authorship of three books on intracardiac devices and defibrillators, Diastolic Dysfunction, and Electrocardiogram changes in Early hypertension. His research group focuses on identifying the best interventional approaches during ablation to reduce atrial fibrillation burden and maintain normal sinus rhythm, with active collaborations across multiple institutions and participation in international multi-center academic and research work.

• Care of the elderly
• Falls rehabilitation
• Stroke rehabilitation
• +7 more

Professor Frances Horgan is a distinguished academic and clinician at the Royal College of Surgeons in Ireland (RCSI), where she serves as Professor of Physiotherapy in the School of Physiotherapy. Appointed to her current position in 2022, she has progressed through the academic ranks at RCSI since commencing as a lecturer in 1999, becoming Senior Lecturer in 2005 and Associate Professor in 2016. Prior to her academic career, she worked as a senior physiotherapist in neurology and care of the elderly at Meath Hospital and Adelaide and Meath Hospital incorporating National Children's Hospital Tallaght Dublin. Her educational background includes a BSc in Physiotherapy, MSc Research, Postgraduate Diploma in Statistics, and PhD in Stroke Recovery Research from University of Dublin Trinity College. She also holds an MSc in Leadership and Management Development for Researchers, Diploma in Health Economics, and Postgraduate Diploma in Health Professions Education from RCSI. Professor Horgan is a multilingual scholar fluent in French and German, with conversational Italian. Professor Horgan's research program focuses on critical areas of healthcare including care of the elderly, falls prevention, stroke rehabilitation, and health services research. Her work examines the transition from hospital to home for stroke patients, rehabilitation needs of people with brain tumors, and implementation of community-based exercise programs for older adults. She employs various methodological approaches including realist reviews, co-design methodologies, and mixed-methods studies to address complex healthcare challenges. Her extensive publication record demonstrates consistent scholarly output across high-impact journals in physiotherapy, rehabilitation, and health services research. Her recent work shows a strong focus on patient-centered care pathways, implementation science, and interdisciplinary approaches to rehabilitation across multiple conditions including stroke, cancer, and neurological disorders. National Teaching Hero Award 2020-21 RCSI President's Teaching Award (2018) As Course Director of the MSc in Neurology and Gerontology, Professor Horgan oversees a comprehensive program that prepares students for advanced practice in neurological and geriatric rehabilitation. She has supervised numerous thesis projects examining frailty, falls, stroke rehabilitation, and transitions of care. Her leadership extends to national initiatives including her role as founder member (since 1997), Secretary (1999-2009), and Chairperson (2009-2016) of the Irish Heart Foundation Council on Stroke, and as Vice Dean for Inter-professional Education at RCSI (2014-2018). Her current research includes the FaME Ireland evaluation study, BRAIN-RESTORE project, and StrokeCog-R pilot trial, demonstrating her ongoing commitment to advancing rehabilitation science and practice.