Juliana Küster Filipe

Address:
          Laboratory for Foundations of Computer Science
          School of Informatics
          University of Edinburgh
          JCMB, King's Buildings
          Mayfield Road
          Edinburgh EH9 3JZ
          United Kingdom

Email: jkfilipe@inf.ed.ac.uk
Phone: +44-131-650 5962
Room: 2412

---

 Research interests:

• Object-oriented analysis and design
• Component-based software development
• Concurrency and distribution
• Real time
• Modal logics of knowledge and belief
  
• Semantic models
• (Distributed) temporal logic
• Applications of category theory

---

Projects:

I am working on an EPSRC funded IRC project Dependability of Computer-based Systems. The project comprises several activities and I am primarily involved on:

• Activity 1: Dependable Human Interaction in Real-Time Systems
• A literature review  on time and timeliness in the context of systems use and human communication was (partially) produced.
• With Michael Hildebrandt and Michael Harrison (HCI, University of York): Ongoing work on "Analysing dynamic function scheduling decisions using model checking".
• With Stuart Anderson: Ongoing work on exploring how the use of modal logics of knowledge and belief can aid in the process of designing operating procedures. Also how a notion of clusters of knowledge, beliefs and reasoning capabilities can help in modelling dependability aspects.
  
• Activity 3: Design for Dependability
• I am particularly interested in CBD and system architecture here. How can certain dependability requirements expressed at the architecture level, as contracts between components, and so on.
 
• Since May 2001, I am mainly working on another EPSRC funded grant entitled "Logic for UML" with Julian Bradfield and Perdita Stevens.

Clubs/Seminars:

I am currently the organiser of the Applied Theory and Software Engineering club which used to be called the Wednesday club.

Much more informal are what I call the UML tea meetings, every Friday at 11:00 in the common room (2510). Just come and join us if you like.

Publications:

Curriculum Vitae