Late 60s: first conferences on software engineering/formal methods/testing, talk traces some of those ideas cf safety of generative AI
Speaker
- Eerke Boiten
Agenda
6:30pm - Meeting opens
6:40pm - Welcome and Introduction
7:40pm - Hand-over to speaker - Questions
9:00pm - Meeting Closes
Synopsis
The late 1960s saw the first conferences on software engineering, landmark formal methods papers by Floyd and Hoare, and Dijkstra’s famous quote about testing.
This talk will trace some of those essential ideas towards the question of the safety of generative AI – the limitations to what can currently be established, and maybe even how they can be lifted.
About the speaker
Eerke Boiten is Professor of Cyber Security and Head of the School of Computer Science and Informatics at De Montfort University.
After his PhD on formal software correctness in the Netherlands, he worked at the University of Kent, where he first worked on formal methods and refinement for 15 years, leading to two monographs and many publications, and then initiated and led its Cyber Security centre.
He has a strong interest in data policy, starting from technical realism, engaging frequently with media and others. In 2017 he moved to DMU to lead the Cyber Technology Institute, and he took on the Head of School role in 2019. His current research focuses on privacy and cyber security.
Our events are for adults aged 16 years and over.
BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You’ll be very welcome. You’ll receive access to many exclusive career development tools, an introduction to a thriving professional community and also help us Make IT Good For Society. Join BCS today
For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters.
This event is brought to you by: BCS Leicester Branch
