My cur­rent main research interests are in the ana­lysis, design and con­struc­tion of highly adapt­ive sys­tems. This pro­gramme includes auto­nomic and per­vas­ive com­put­ing, focus­ing on the core ele­ments of adaptiv­ity in the fol­low­ing areas:

• the math­em­at­ical spe­cific­a­tion and ana­lysis of adapt­ive sys­tems, how sys­tems can (and should!) vary accord­ing to context;
• pro­gram­ming lan­guages highly sen­sor­ised adapt­ive systems;
• the use of “epi­demic” or “gossiping-style inter­ac­tions to man­age data dis­sem­in­a­tion in ad hoc net­works, espe­cially adapt­ive gos­sip­ing that var­ies with context

In the past I’ve worked on type the­ory, inter­preter con­struc­tion, par­al­lel com­put­ing, dis­trib­uted and web-based systems.