I began my PhD research in The Foundations of Computer Security at the University of Cambridge Computer Laboratory on October 1, 2005. My initial research interest was the application of formal tools, such as theorem provers and model checkers, to the verification of security protocols. Realizing that this is both a broad and mature field, I started looking for an open topic on which to focus m...

My initial project proposal was to enhance program safety by improving module interfaces. I projected this could be achieved by better abstractions and richer interface annotations. Since then, I have refined this goal by focusing on concurrent programs. During my first year I have looked at methods for reasoning about the correctness of concurrent programs, and software transactional memory, w...

the family of pteromalidae (hym: chalcidoidea) is one of the largest families of parasitic wasp. members of this family wasp comprise of important natural enemies of many harmful insects in major insect orders such as coleoptera, diptera, lepidoptera, hymenoptera and homoptera; therefore they have an important role in biological control of agricultural pests. the chalcid wasps belonging to this...

Imperfections in the rule of law create new problems of contractibility, in addition to the familiar one of unverifiability of information. Alternative social institutions for governance of property and contract arise but are also imperfect, and can interact well or poorly with the formal state institutions. Security of property and contract is especially problematic for foreign traders and inv...

The purpose of this chapter is to survey some recent results and state open questions concerning the rigidity of Riemannian manifolds. The starting point will be the boundary rigidity and conjugacy rigidity problems. These problems are connected to many other problems (Mostow-Margulis type rigidity, isopectral problems, isoperimetric inequalities etc.). We will restrict our attention to those r...

Background Pricing and reimbursement authorities often lack sufficient information to decide about Orphan Medicinal Products (OMPs), because of pricing, high levels of uncertainty and small datasets, amongst others. EU Member States share similar challenges as they seek to include OMPs appropriately in their healthcare systems. The “Process on Corporate Responsibility in the field of Pharmaceut...

Virtual Teams in enterprise contexts have been well researched. However when concerned with scientific research studies often focus on a macro level ignoring the individual perspective of scholars. I report in this paper on observations made in two case studies on research collaboration, one concentrated on a large research network and one on the situated context of IS scholars involved in coll...

In undergraduate natural science courses, two types of evaluators are commonly used to assess student writing: graduate-student teaching assistants (TAs) or peers. The current study examines how well these approaches to evaluation support student writing. These differences between the two possible evaluators are likely to affect multiple aspects of the writing process: first draft quality, amou...