Professor Marta Kwiatkowska FRS MAE leads this year’s Lovelace lecture.

She was awarded the 2019 BCS Lovelace Medal.

------------------------------------------------------------------------------------

OUR SPEAKERS

Headline Speaker: Professor Marta Kwiatkowska, University of Oxford

Introductory Speaker: tbc

Vote of thanks: tbc

------------------------------------------------------------------------------------

AGENDA

17:45-18:30 - Registration with tea/coffee

18:30 - Lecture commences

20:00 - End of lecture

20:00-21:00 - Networking buffet and drinks reception (optional)

21:00 - Close

------------------------------------------------------------------------------------

SYNOPSIS

to follow

------------------------------------------------------------------------------------

SPEAKER BIOGRAPHIES

Headline Speaker: Professor Marta Kwiatkowska

Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of model checking for probabilistic systems. She led the development of the PRISM model checker (www.prismmodelchecker.org), the leading software tool in the area. Probabilistic model checking has been adopted in diverse fields, including distributed computing, wireless networks, security, robotics, healthcare, systems biology, DNA computing and nanotechnology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska was awarded two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a coinvestigator of the EPSRC Programme Grant on Mobile Autonomy. She was honoured with the Royal Society Milner Award in 2018 and the Lovelace Medal in 2019, and is a Fellow of the Royal Society, ACM and BCS, and Member of Academia Europea.

Introductory Speaker: tbc

Vote of thanks: tbc

 

BCS Lovelace Lecture 2020 - Prof Marta Kwiatkowska
Date and time
24 March, 6:00pm - 9:00pm
Location
The Royal Society
6-9 Carlton House Terrace
London
SW1Y 5AG
Price
5.00 - 30.00 GBP