Prof. Dr. Juliana Küster Filipe Bowles

Details
![]() |
ORCID | ![]() |
Google Scholar | ![]() |
Research Gate |
![]() |
University of St Andrews |
Prof. Dr. Juliana Küster Filipe Bowles is Professor in Computer Science at University of St Andrews, UK, and a key researcher at Software Competence Center Hagenberg, Austria. Her research interests include formal methods and dependability, logics and formal verification, and healthcare applications.