UCL academics named as Royal Academy of Engineering Fellows

Three UCL academics have been elected as Fellows of the Royal Academy of Engineering in recognition of their outstanding and continuing contributions to the profession. The new Fellows were formally admitted to the Academy on Monday 30 September, and they will add their expertise to the Fellowship of nearly 1,600 existing engineers from both industry and academia. The three UCL academics who have been elected are: Professor Byron Cook, UCL Computer Science. A world-renowned leader in the field of formal verification for hardware and software systems, he has worked to bring this field from an academic hypothesis to an industrial reality. Professor Cook said: "I was surprised and very honoured when I learned that I had been elected a Fellow of the Royal Academy of Engineering. "In my career I have focused on turning the art of proving mathematical theorems into an engineering discipline, with applications to biology, telecommunications, computer operating systems, and now cloud security.  I'm pleased that progress in my research area is accelerating so swiftly, delivering new means for health, safety and security to our society." Professor Jian Kang, UCL Bartlett School of Environment, Energy & Resources.