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
Selected publications
-
Open access
A novel framework for systematic propositional formula simplification based on existential graphs
Francès de Mas, J. & Bowles, J., 13 Jun 2025, In: Theory and Practice of Logic Programming. 25, 3, p. 374 - 393 20 p.Research output: Contribution to journal › Article › peer-review
-
Open access
Geometrically inspired kernel machines for collaborative learning beyond gradient descent
Kumar, M., Valentinitsch, A., Fuchs, M., Brucker , M., Kuster Filipe Bowles, J., Husakovic, A., Abbas, A. & Moser, B. A., 22 Jul 2025, In: Journal of Artificial Intelligence Research. 83, p. 1-35 35 p., 16821.Research output: Contribution to journal › Article › peer-review
-
Open access
Towards a flexible approach for understanding and comparing traces
Kuster Filipe Bowles, J., 2025, From data to models and back: 11th international symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, revised selected papers. Broccia, G. & Cerone, A. (eds.). Cham: Springer, p. 115–126 12 p. (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Enhancing and personalising endometriosis care with causal machine learning
Hine, A. A., Webber, T. & Kuster Filipe Bowles, J., 20 Dec 2024, (E-pub ahead of print) Contributions presented at The international conference on computing, communication, cybersecurity & AI, July 3–4, 2024, London, UK: The C3AI 2024. Naik, N., Jenkins, P., Prajapat, S. & Grace, P. (eds.). Cham: Springer, p. 3-25 23 p. (Lecture notes in networks and systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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
-
Preface
Bowles, J. & Søndergaard, H., 2024, Logic-based program synthesis and transformation: 34th international symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, proceedings. Bowles, J. & Søndergaard, H. (eds.). Cham: Springer, p. v-vi 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14919 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
-
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
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
-
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
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, , 15 Sept 2023, Proceedings of the 17th international rule challenge and 7th doctoral consortium @ RuleML+RR 2023 co-located with 19th reasoning web summer school (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023. Vanthienen, J., Kliegr, T., Fodor, P., Lanti, D., Arndt, D., Kostylev, E. V., Mitsikas, T. & Soylu, A. (eds.). Sun SITE Central Europe (CEUR), p. 1-2 2 p. (CEUR workshop proceedings; vol. 3485).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript