Juliana Küster Filipe Bowles

Lecturer, School of Computer Science, University of St Andrews
Member of the Systems Engineering and Computational Logic groups.

Postal Address: School of Computer Science, Jack Cole Building, North Haugh, St Andrews KY16 9SX Scotland
Tel: +44/0 1334 461622
Fax: +44/0 1334 463278
Email: jkfb at st-andrews.ac.uk

Teaching:

In the Academic Year 2011/12:

IS5105 Software Engineering Principles (Martinmas Semester)
CS2002 Advanced Computer Science (Candlemas Semester)

Research interests:

Formal Model Transformations and Correctness Proofs
(Distributed) temporal logic
Object-oriented modelling languages (e.g., UML, OCL)
Critical system's design and verification
Formal methods for dependability
Concurrency and distribution
Modal logics of knowledge and belief
Applications of category theory

Current PhD student:

Dulani Meedeniya

Current Projects:

A Performance Engineering Technique for Mobile Distributed Systems (PETMoDS) with Leïla Kloul, University of Versailles, France. International Joint Project funded by The Royal Society and CNRS.

Past Projects:

UML2.0, concurrent automata and MDTL: A framework for distributed component-based systems funded Sotiris Moschoyiannis.

Publications:

For a list of publications click here. Some papers are available in PDF/PostScript. This list is not regularly updated.