Prof Juliana Bowles
Professor
- Phone
- +44 (0)1334 46 1622
- 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 proceeding › Conference 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 journal › Article › peer-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 proceeding › Conference 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 proceeding › Conference 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, , 2023, In: CEUR Workshop Proceedings. 3485Research output: Contribution to journal › Editorial › peer-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 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., 1 Jan 2023, In: ACM Transactions on Computing for Healthcare. 4, 1, 40 p.Research output: Contribution to journal › Article › peer-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 proceeding › Conference 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 journal › Article › peer-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 proceeding › Conference contribution