جست‌وجوی استاد و پژوهشگر

Paul Clarkeمشاهده پروفایل

دانشیار

• Software Engineering
• Continuous Software Engineering
• Serverless Computing
• +۷ مورد دیگر

Paul Clarke is an Associate Professor in the School of Computing at Dublin City University (DCU), serving as Principal Investigator for the DTIF-funded Future Software Systems Architectures (FSSA) project focused on AI-driven software architectural transformation. He is a member of Lero (SFI Research Centre for Software) and represents Ireland on ISO/IEC JTC1 SC7 for software process standards, while providing industry advisory to Optimality Technologies Ltd and fourTheorem Ltd to bridge academia and practice. His research centers on continuous software engineering, serverless computing, and human aspects of development, with notable contributions to gamification in software engineering contexts and medical device software via the MDevSPICE® framework. He explores software process adaptive capability through empirical studies on occupational stress, virtual reality training environments, and blockchain applications for development integrity. Analysis of his 15 most recent publications (2023-2025) reveals three dominant trends: (1) AI/ML applications for software architecture modernization (microservices extraction, legacy system transformation), (2) gamification and virtual reality for developer training and process improvement, and (3) human factors investigations including occupational anxiety, sleep patterns, and avatar perception in metaverse environments. His work consistently employs multivocal literature reviews and empirical case studies across industrial contexts. Clarke leads the €2.1M FSSA project examining AI for monolith-to-microservices conversion and previously managed the MDevSPICE® medical device assessment framework. His industry advisory roles focus on commercializing research through Optimality Technologies (software analytics) and fourTheorem (cloud solutions), leveraging 15+ years of pre-academia experience at FINEOS, Arantech, and Logica Plc. He actively contributes to EuroSPI conference proceedings as both author and editorial board member.

• Formal Methods
• Functional Programming
• Unifying Theories of Programming (UTP)
• +۷ مورد دیگر

Dr. Andrew Butterfield is a faculty member at the School of Computer Science and Statistics, Trinity College Dublin. He serves as Head of the Foundations and Methods Group and actively contributes to Lero: the Irish Software Research Centre. His research focuses on Formal Methods and Functional Programming, particularly the Unifying Theories of Programming (UTP) paradigm, with applications in clinical pathways, medical device software, and spacecraft operating systems. Current research includes developing UTP theories for shared-variable concurrency, rely/guarantee reasoning, and separation logic in collaboration with Jim Woodcock. He also explores Process Modelling Language (PML) semantics with John Noll and Anila Mjeda. His contributions feature proof-assistance tools like UTP2 Theorem Prover, UTP Calculator, and ReasonEq implemented in Haskell. Andrew leads funded projects such as ESA's RTEMS-SMP (2019) and SFI's FMHIDA (2016-2020). Past projects encompass formal verification of separation kernels, Handel-C language semantics, and NAND flash memory models. He has taught courses in Formal Methods, Functional Programming, and Concurrency, while serving on editorial and program committees including Formal Aspects of Computing.

• Formal Methods
• Functional Languages
• Unifying Theories of Programming
• +۵ مورد دیگر

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.