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

  • Qurat Ul Ain Shaheen
  • Ariane Hine

Selected publications

  • Open access

    Enhancing reaction systems with guards for analysing comorbidity treatment strategies

    Kuster Filipe Bowles, J., Brodo, L., Bruni, R., Falaschi, M., Gori, R. & Milazzo, P., 19 Sept 2024, Computational methods in systems biology : 22nd International conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings. Gori, R., Milazzo, P. & Tribastone, M. (eds.). Cham: Springer, p. 27-44 (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Variational Bayesian deep fuzzy models for interpretable classification

    Kumar, M., Singh, S. & Bowles, J., Jun 2024, In: Engineering Applications of Artificial Intelligence. 132, 24 p., 107900.

    Research output: Contribution to journalArticlepeer-review

  • Open access

    A novel EGs-based framework for systematic propositional-formula simplification

    Francès de Mas, J. & Kuster Filipe Bowles, J., 2023, Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Glück, R. & Kafle, B. (eds.). Springer, Vol. 14330. p. 169-187 18 p. (Lecture Notes in Computer Science; vol. 14330).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Open access

    An ontology-based approach for detecting and classifying inappropriate prescribing

    Redeker, G. A. & Kuster Filipe Bowles, J., 15 Sept 2023, RuleML+RR’23: 17th International Rule Challenge and 7th Doctoral Consortium, September 18–20, 2023, Oslo, Norway. Vanthienen, J., Kliegr, T., Fodor, P., Lanti, D., Arndt, D., Kostylev, E. V., Mitsikas, T. & Soylu, A. (eds.). CEUR-WS, 15 p. (CEUR Workshop Proceedings; vol. 3485).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Preface

    Paschke, A., Steen, A., Billig, A., Bikakis, A., Sertkaya, B., Finzel, B., Arndt, D., Tomaszuk, D., Xiao, G., Cheng, G., Angele, K., Bowles, J. K. F., Ortiz, M., Giese, M., Bassiliades, N., Bauer, R., Ramakrishna, S., Ahmetaj, S., Mennicke, S. & Van Woensel, W. & 9 others, Wang, Y., Lisi, F. A., Vanthienen, J., Kliegr, T., Fodor, P., Lanti, D., Kostylev, E. V., Mitsikas, T. & Soylu, A., 2023, In: CEUR Workshop Proceedings. 3485

    Research output: Contribution to journalEditorialpeer-review

  • Open access

    Representation theorems obtained by mining across web sources for hints

    Caminati, M. & Kuster Filipe Bowles, J., 30 Aug 2023, Proceedings: 6th international conference on information and computer technologies (ICICT 2023), Raleigh, United States, Mar 24 - Mar 26, 2023. Gokhale, A. & Guizani, M. (eds.). Piscataway, NJ: IEEE Computer Society, p. 203-210 8 p. (International conference on inventive computation technologies (ICICT)).

    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., 1 Jan 2023, In: ACM Transactions on Computing for Healthcare. 4, 1, 40 p.

    Research output: Contribution to journalArticlepeer-review

  • Open access

    The need for a non-invasive technology for endometriosis detection and care

    Hine, A. A., Kuster Filipe Bowles, J. & Webber, T., 18 May 2023, Caring is sharing - exploting the value in data for health and innovation: proceedings of MIE 2023. Hägglund, M., Blusi, M., Bonacina, S., Nilsson, L., Cort Madsen, I., Pelayo, S., Moen, A., Benis, A., Lindsköld, L. & Gallos, P. (eds.). Amsterdam: IOS Press, p. 103 - 107 5 p. (Studies in health technology and informatics; vol. 302).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Open access

    Using technology to enhance community health and territorial resources access

    Portela, D. S., Webber, T. & Bowles, J., 29 Jun 2023, In: Studies in Health Technology and Informatics. 305, p. 307-310 4 p.

    Research output: Contribution to journalArticlepeer-review

  • 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

 

See more publications