home search a-z help
University of Cambridge Computer Laboratory
Connections Subgroup
Computer Laboratory > Research > SRG > HAN > Connections Subgroup

Connections Subgroup

Automatic creation and checking of dynamic bindings and component interconnections.

This group studies dynamic binding and checking for component assemblies. We are interested in design patterns for protocols and interfaces, how these may be described in the meta-info carried with a component and how the meta-info may be used for automatic synthesis and checking of glue logic and the resulting sub-assemblies.

Current Research

  • Interface Synthesis for ESL
    Interface Automata Synthesis for assembly of system on a chip (Greaves, Nam). Orangepath.
  • C/C++ Refactoring
    Refactoring of C/C++ at the binary linkage level (Kell, Elsafty).
  • Secure Web Site Synthesis
    Generation of web site components (html, javascript, php) with formal security properties (Baltopoulos).

Current Group Members

Current members are:
  • Dr David Greaves
  • Ms Jin Nam
  • Mr Ioannis Baltopoulos
  • Ms Aisha Elsafty and
  • Mr Stephen Kell.