Dr Juliana Bowles

Senior Lecturer

Researcher profile

Phone

+44 (0)1334 461622

Email

jkfb@st-andrews.ac.uk

Office

C1.07

Location

Jack Cole Building (Computer Science )

Office hours

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

• Fahrurrozi Rahman
• Diana Saddi Portela
• Andreas Vermeulen
• Jordina Francès de Mas
• Guilherme Redeker

Selected publications

• Correct composition in the presence of behavioural conflicts and dephasing

  Kuster Filipe Bowles, J. & Caminati, M. B., 1 Jan 2020, In : Science of Computer Programming. 185, 22 p., 102323.

  Research output: Contribution to journal ? Article

• The SERUMS tool-chain: ensuring security and privacy of medical data in smart patient-centric healthcare systems

  Janjic, V., Kuster Filipe Bowles, J., Vermeulen, A. F., Silvina, A., Belk, M., Fidas, C., Pitsillides, A., Kumar, M., Rossborry, M., Vinov, M., Given-Wilson, T., Legay, A., Blackledge, E., Arredouani, R., Stylianou, G. & Huang, W., 24 Feb 2020, Proceedings 2019 IEEE International Conference on Big Data. IEEE Computer Society, p. 2726-2735 10 p. 9005600. (IEEE International Conference on Big Data).

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• A framework for automated conflict detection and resolution in medical guidelines

  Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1 Aug 2019, In : Science of Computer Programming. 182, p. 42-63 22 p.

  Research output: Contribution to journal ? Article

• An integrated approach to a combinatorial optimisation problem

  Kuster Filipe Bowles, J. & Caminati, M. B., 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2?6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). LNCS ed. Cham: Springer, p. 284-302 19 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11918).

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• Balancing prescriptions with constraint solvers

  Bowles, J. K. F. & Caminati, M. B., 2019, Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Cham: Springer, p. 243-267 25 p. (Computational Biology; vol. 30).

  Research output: Chapter in Book/Report/Conference proceeding ? Chapter

• Computer aided verification of radiotherapy treatment plans

  Kuster Filipe Bowles, J. & Munbodh, R., Jun 2019, Medical Physics. Wiley/American Association of Physicists in Medicine, Vol. 46.

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• Formal reasoning over class models with TOMM

  Mendoza Santana, J. J. & Kuster Filipe Bowles, J., 15 Jul 2019, Journal of Object Technology. Association Internationale pour les Technologies Objets, Vol. 18. 20 p. 12

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• On predicting the outcomes of chemotherapy treatments in Breast cancer

  Silvina, A., Kuster Filipe Bowles, J. & Hall, P., 2019, Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26?29, 2019, Proceedings. Riaño, D., Wilk, S. & ten Teije, A. (eds.). Springer, p. 180-190 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11526 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

• Our data, our society, our health: a vision for inclusive and transparent health data science in the United Kingdom and beyond

  Ford, E., Boyd, A., K. F. Bowles, J., Havard, A., Aldridge, R., Curcin, V., Greiver, M., Harron, K., Katikireddi, V., Rodgers, S. & Sperrin, M., Jul 2019, In : Learning Health Systems. 3, 3, 12 p., e10191.

  Research output: Contribution to journal ? Article

• Security and privacy of medical data: challenges for next-generation patient-centric healthcare systems

  Janjic, V., Bowles, J., Belk, M. & Pitsillides, A., 6 Jun 2019, ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. New York: Association for Computing Machinery, Inc, p. 213-214 2 p.

  Research output: Chapter in Book/Report/Conference proceeding ? Conference contribution

See more publications