Dr. Juliana Küster Filipe Bowles
|ORCID||Google Scholar||Research Gate|
|University of St Andrews|
Dr. Juliana Küster Filipe Bowles is Senior Lecturer 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.