Prof Juliana Bowles

Prof Juliana Bowles

Professor

Researcher profile

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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 journalArticlepeer-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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

 

See more publications