Juliana BowlesView profile
Professor
Prof Juliana Bowles is a Professor at the School of Computer Science, University of St Andrews. Her research focuses on applying formal methods (model checking, constraint solving) to healthcare challenges such as polypharmacy, cancer treatment optimization, and clinical decision support systems. She collaborates with clinicians and engineers to develop tools for medication safety and efficient healthcare processes. Notable projects include EPSRC-funded work on automated conflict resolution in clinical pathways and RAE-funded collaborations with Brazil on healthcare process analysis. Her expertise spans formal verification, concurrency, and health informatics. She leads projects addressing global health challenges through computational techniques, including work on endometriosis care, cancer treatment in the elderly, and secure healthcare data sharing platforms. Supervising PhD students like Ariane Hine and Qurat Ul Ain Shaheen, she integrates interdisciplinary approaches to enhance healthcare outcomes. Key Collaborations: Royal Academy of Engineering (RAE), UNISC Brazil, EPSRC Grants: EPSRC (EP/M014290/1), RAE Newton Research Collaboration (Project NRCP1617/5/62) Publications: Over 90 peer-reviewed articles, focusing on formal methods in healthcare and computational medicine Her work contributes to UN Sustainable Development Goals by improving healthcare access and decision-making through technology. She develops secure systems for medical data sharing and personalized treatment strategies, balancing usability and privacy concerns in healthcare IT.







