×
Eventil - Find Tech Events
Official mobile app
FREE - In Google Play
View
×
Eventil
Official mobile app
FREE - In App Store
View

BCS Lovelace Lecture 2020 - Prof Marta Kwiatkowska

Mar 24, 2020 · London, United Kingdom

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


Event organizers
  • BCS, The Chartered Institute for IT

    We are all responsible for ensuring technology-led change is safe and positive for everyone in society. At BCS we’re committed to meeting this responsibility under royal charter. That’s why we set the highest standards of professionalism and best practice in the industry, share knowledge, and develop skills and capability tuned to our evolving digital world. We’ve been supporting the technology industry since 1957 and our 73,000-strong membership spans 150 countries. Every member actively promotes IT profe

    Recent Events
    More

Are you organizing BCS Lovelace Lecture 2020 - Prof Marta Kwiatkowska?

Claim the event and start manage its content.

I am the organizer
Social

Featured Events