Historically, my research focused on the area of formal specification and verification, particularly distributed multimedia systems and their associated quality of service. This included the development of a multi-paradigm specification environment..
Historically, my research focused on the area of formal specification and verification, particularly distributed multimedia systems and their associated quality of service. This included the development of a multi-paradigm specification environment that incorporated process algebra, automata and logic-based techniques. This led to research on dynamic quality of service management strategies for distributed multimedia systems, using timed automata (and stochastically enhanced timed automata) to model QoS monitors and controllers. My more recent research has focused on human aspects of computing - such as attending to spiritual needs - and the environmental implications of Web developments such as cloud computing.
Less