Inaugural Lecture Showcase: Computer Science

The following Professors will deliver their inaugural lectures at this showcase event:

• Professor Richard Connor: ‘Finding New Dogs with Old Tricks'
• Professor Juliana Bowles: ‘The Temporality of Formal Reasoning: As it was, as it is and as it could be'
• Professor Susmit Sarkar: ‘Peering Inside the Box: Making Modern Computing Safer with Mathematical Specifications'