Members of BLUE

Here is a list of the current members of BLUE.

• Laura Monk, spectral theory of random regular graphs and hyperbolic surfaces.
• Joseph Tooby-Smith, physics, with a particular interest on high energy physics.
• Wrenna Robson, practical use of formal verification to deliver assurance of cryptographic designs and implementations.