08 Jun 2021Ended

Webinar: Safe and secure software systems An automated reasoning perspective


Estimated Turnout

upto 100
Based on previous editions


Jun 2021


Not Available
Claim event to edit details

As well as significant economic and social benefits, the proliferation of software brings with it serious risks - system failures and security .. Read more vulnerabilities. To combat these risks calls for formal methods that enable us to reason precisely about the correctness of a software system. Mathematical logic and formal reasoning provide the foundations for such methods. This talk presents some high profile software-related system failures as well as some notable success stories for formal methods. To be applicable on an industrial scale, formal methods require computer assistance in the form of automated reasoning tools and techniques. Andrew Ireland is a Professor of Computer Science at Heriot-Watt University and a founder member of the Dependable Systems Group; he also works closely with the Mathematical Reasoning Group at the University of Edinburgh. His research focuses on automated reasoning and the verification of software-intensive systems.

  • Share your Experience
  • Organizer
Logo Follow Company

BCS London

UK275 Total Events / 10 Upcoming Events

More Events From The Organizer

You have no contacts. Please add contacts from below or share on social media

Send to all
No Results