Juliana Kuster Filipe Bowles

Prof

  • KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Formal methods and verification; model checking; constraint solvers; temporal logics (stochastic, distributed, etc); concurrency; dependability; NLP in healthcare; modelling in healthcare; health informatics; evidence-based clinical decision support systems; global health

If you made any changes in Pure these will be visible here soon.

Personal profile

Profile Keywords

Formal methods and verification; model checking; constraint solvers; temporal logics (stochastic, distributed, etc); concurrency; dependability; NLP in healthcare; modelling in healthcare; health informatics; evidence-based clinical decision support systems; global health

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.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being
  • SDG 8 - Decent Work and Economic Growth
  • SDG 9 - Industry, Innovation, and Infrastructure
  • SDG 11 - Sustainable Cities and Communities

Fingerprint

Dive into the research topics where Juliana Kuster Filipe Bowles is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or