Computer Science @ University of St Andrews

University of St Andrews crest

Dr Juliana Bowles

No picture available

Position: Senior Lecturer

Research profile

Email (@st-andrews.ac.uk): jkfb

Office: JC1.07 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1622

Home page: https://juliana.host.cs.st-andrews.ac.uk

Research Overview

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.

Recent Publications

Estimating capacity and resource allocation in healthcare settings using business process modelling and simulation

Redeker, G, Webber, T, Czekster, R, Quickert, S & Bowles, JKF 2017, Estimating capacity and resource allocation in healthcare settings using business process modelling and simulation. in Anais XXXVII Congresso da Sociedade Brasileira de Computação. Sociedade Brasileira de Computação (SBC), pp. 1979-1982, Workshop de Informática Médica (WIM), São Paulo, Brazil, 2-6 July.

An integrated framework for verifying multiple care pathways

Bowles, JKF, Caminati, MB & Cha, S 2017, An integrated framework for verifying multiple care pathways. in Eleventh International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Nice, France, 13-15 September.

Weaving true-concurrent aspects using constraint solvers

Bowles, JKF, Bordbar, B & Alwanain, M 2017, Weaving true-concurrent aspects using constraint solvers. in 2016 16th International Conference on Application of Concurrency to System Design (ACSD)., 7842499, IEEE Computer Society, pp. 35-44, PN 2016 // ACSD 2016, Toruń, Poland, 19-24 June. DOI: 10.1109/ACSD.2016.19

Correct composition of dephased behavioural models

Bowles, JKF & Caminati, MB 2017, Correct composition of dephased behavioural models. in J Proença & M Lumpe (eds), Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 10487, Springer, pp. 233-250, 14th International Conference on Formal Aspects of Component Software, Braga, Portugal, 10-13 October. DOI: 10.1007/978-3-319-68034-7_14

A flexible approach for finding optimal paths with minimal conflicts

Bowles, JKF & Caminati, MB 2017, A flexible approach for finding optimal paths with minimal conflicts. in Z Duan & L Ong (eds), Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 10610, Springer, pp. 209-225, 19th International Conference on Formal Engineering Methods (ICFEM 2017), Xi’an, China, 13-17 November. DOI: 10.1007/978-3-319-68690-5_13

Formal verification of CNL health recommendations

Rahman, F & Bowles, JKF 2017, Formal verification of CNL health recommendations. in N Polikarpova & S Schneider (eds), Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 10510, Springer, Cham, pp. 357-371, 13th International Conference on integrated Formal Methods (iFM 2017), Torino, Italy, 18-22 September. DOI: 10.1007/978-3-319-66845-1_24

A verified algorithm enumerating event structures

Bowles, JKF & Caminati, MB 2017, A verified algorithm enumerating event structures. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 10383, Springer, Cham, pp. 239-254, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17-21 July. DOI: 10.1007/978-3-319-62075-6_17

Mind the gap: addressing behavioural inconsistencies with formal methods

Bowles, JKF & Caminati, MB 2016, Mind the gap: addressing behavioural inconsistencies with formal methods. in A Potanin, GC Murphy, S Reeves & J Dietrich (eds), 2016 23rd Asia-Pacific Software Engineering Conference (APSEC)., 7890603, IEEE Computer Society, pp. 313-320, 23rd Asia-Pacific Software Engineering Conference, Hamilton, New Zealand, 6-9 December. DOI: 10.1109/APSEC.2016.051

Aplicação de técnicas quantitativas de modelagem na busca da eficiência de processos hospitalares

Model checking cancer automata

Bowles, JKF & Silvina, A 2016, Model checking cancer automata. in IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016., 7455913, Institute of Electrical and Electronics Engineers Inc., pp. 376-379, 3rd IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016, Las Vegas, United States, 24-27 February. DOI: 10.1109/BHI.2016.7455913