Digital Trust and Security Guest Lecture Series - Lucas Cordeiro
| Dates: | 28 November 2018 |
|---|
| Times: | 13:00 - 14:30 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Manchester Informatics |
|---|
| Who is it for: | University staff, Adults, Current University students |
|---|
| Speaker: | Dr. Lucas Cordeiro |
|---|
|
In the last two decades, unmanned aerial vehicles (UAVs) have been used in various military and civil applications, such as armed attacks, training targets, aerial surveillance, journalism, and entertainment. Recent studies show that the impact of UAVs on the UK economy can lead to GBP 42bn increase in UK gross domestic product and 628,000 jobs in the UAVs economy.
As a result, dependency on the correct operation of UAVs is rapidly growing, but their structures are becoming more and more complex and now require multi-core processors with scalable shared memory, signal-processing pipelines, and sophisticated software modules, to meet increasing computational power, flexibility demands, and adaptation to new scenarios and behaviours. In this talk, I will given an overview of automated software verification and synthesis techniques and then discuss about challenges, problems, and recent advances to ensure safety and security regarding UAVs. Reliability issues, in the development of UAVs, are then considered, as a prominent verification and synthesis application for achieving a correct-by-construction design.
Speaker
Dr. Lucas Cordeiro
Role: Senior Lecturer, Programme Analysis & Cyber Security
Travel and Contact Information
Find event
TH_1.5
Kilburn Building
Manchester
