I belong to the following research groups:
Programming Languages and Systems Group Security Group Future Computing Group