Prof Juliana Bowles

Professor

Phone: +44 (0)1334 46 1622
Email: jkfb@st-andrews.ac.uk
Office: C1.07
Location: Jack Cole Building (Computer Science )

Research areas

I have a longstanding interest in logics, modelling and automated formal methods (including model checking and constraint solving), and, more recently, their application and integration in health care.
I am particularly interested in methods to detect and resolve problems in polypharmacy, avoiding inappropriate drug therapies and guaranteeing medication safety. A recent paper “Avoiding Medication Conflicts for Patients with Multimorbidities” presented at Integrated Formal Methods, Reykjavik, Iceland, June 1-4, 2016, shows how our techniques can be applied in this domain. This work is supported by the EPSRC project EP/M014290/1 (Automated Conflict Resolution in Clinical Pathways).
Another aspect I am working on, is how model checking can be used for predictive and comparative analysis of cancer treatments. Here, I am particularly interested in cancer in the elderly and how treatments should take into account comordibities, frailty, and an increased risk to adverse drug reactions.
In another project, recently awarded by the Royal Academy of Engineering (RAE) under its Newton Research Collaboration Programme (Project NRCP1617/5/62) with Brazil, we explore the use of quantitative analysis techniques to improve the efficiency of complex processes in health care (with Dr R. Czekster and Dr T. Webber, UNISC, Brazil).
Overall, I believe that working closely with clinicians and software engineers, formal methods can make a difference and contribute to the development of better clinical decision support sustems, for more informed choice and awareness of treatment options, better care and impact on the wellbeing of patients.

PhD supervision

Jordina Francès de Mas
Guilherme Redeker
Diana Saddi Portela
Qurat-Ul-Ain Shaheen
Ariane Hine

Selected publications

A secure user-centred healthcare system: design and verification
Baranov, E., Bowles, J., Given-Wilson, T., Legay, A. & Webber, T., 7 Dec 2022, From data to models and back: 10th international symposium, DataMod 2021 virtual event, December 6–7, 2021 revised selected papers. Bowles, J., Broccia, G. & Pellungrini, R. (eds.). Cham: Springer Science and Business Media, p. 44–60 17 p. (Lecture Notes in Computer Science; vol. 13268).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open access

Conflict-free access rules for sharing smart patient health records
Banton, M., Bowles, J., Silvina, A. & Webber, T., 1 Jan 2022, Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings. Moschoyiannis, S., Peñaloza, R., Vanthienen, J., Soylu, A. & Roman, D. (eds.). Springer, Vol. 12851. p. 33-47 15 p. (Lecture Notes in Computer Science; vol. 12851).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open access

Evaluating a smart healthcare system design through participatory approach
Webber, T., Kuster Filipe Bowles, J., Constantinides, A., Belk, M. & Morley, E., 1 Jul 2022, Advances in Informatics, Management and Technology in Healthcare. Mantas, J., Gallos, P., Zoulias, E., Hasman, A., Househ, M. S., Diomidous, M., Liaskos, J. & Charalampidou, M. (eds.). Amsterdam: IOS Press, Vol. 295. p. 312-315 4 p. 90. (Studies in Health Technology and Informatics; vol. 295).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model-based security assessment on the design of a patient-centric data sharing platform
Banton, M., Webber, T., Silvina, A. & Bowles, J., 7 Dec 2022, From data to models and back: 10th international symposium, DataMod 2021 virtual event, December 6–7, 2021 revised selected papers. Bowles, J., Broccia, G. & Pellungrini, R. (eds.). Cham: Springer Science and Business Media, p. 61–77 17 p. (Lecture Notes in Computer Science; vol. 13268).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open access

Security and usability of a personalized user authentication paradigm: insights from a longitudinal study with three healthcare organizations
Constantinides, A., Belk, M., Fidas, C., Beumers, R., Vidal, D., Huang, W., Kuster Filipe Bowles, J., Webber, T., Silvina, A. & Pitsillides, A., 12 Oct 2022, (E-pub ahead of print) In: ACM Transactions on Computing for Healthcare. Just Accepted, 45 p.
Research output: Contribution to journal › Article › peer-review
Open access

A blockchain-based healthcare platform for secure personalised data sharing
Bowles, J., Webber, T., Blackledge, E. & Vermeulen, A., 27 May 2021, Public Health and Informatics. Mantas, J., Stoicu-Tivadar, L., Chronaki, C., Hasman, A., Weber, P., Gallos, P., Crişan-Vida, M., Zoulias, E. & Chirila, O. S. (eds.). IOS Press, p. 208-212 5 p. (Studies in Health Technology and Informatics; vol. 281).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open access

A simulation study on demand disruptions and limited resources for healthcare provision
Kuster Filipe Bowles, J., Czekster, R., Redeker, G. A. & Webber, T., 2021, From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers. Bowles, J., Broccia, G. & Nanni, M. (eds.). Cham: Springer, p. 87-103 17 p. (Lecture Notes in Computer Science; vol. 12611).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open access

A simulation-based approach for the behavioural analysis of cancer pathways
Silvina, A., Redeker, G. A., Webber, T. & Kuster Filipe Bowles, J., 2021, From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers. Bowles, J., Broccia, G. & Nanni, M. (eds.). Cham: Springer, p. 57-71 14 p. (Lecture Notes in Computer Science; vol. 12611).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open access

APPS 2021: Third International Workshop on Adaptive and Personalized Privacy and Security
Constantinides, A., Belk, M., Fidas, C., Bowles, J. & Pitsillides, A., 21 Jun 2021, Adjunct Proceedings of the 29th ACM Conference on User Modeling, Adaptation and Personalization (UMAP '21). Masthoff, J., Herder, E., Tintarev, N. & Tkalčič, M. (eds.). New York: ACM, p. 336–337 2 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open access

Argumentation-based explanations of multimorbidity treatment plans
Shaheen, Q., Toniolo, A. & Kuster Filipe Bowles, J., 2021, PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings. Uchiya, T., Bai, Q. & Maestre, I. M. (eds.). Cham: Springer, p. 394-402 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12568 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

See more publications

Breadcrumbs navigation