Research Talks - Detecting and Resolving Software ErrorsExport this event to calendar

Friday, January 27, 2017 — 12:00 PM to 1:00 PM EST

Jo AtleeSoftware controls many everyday electronics, like computers and smart phones, and is increasingly embedded in safety-critical systems like medical devices, transportation systems, and autonomous vehicles. Although difficult to detect, software errors can lead to loss of property, or even life.

Join Cheriton School of Computer Science Professor Joanne Atlee as she examines software modelling and automated analysis techniques to detect hard-to-find errors in software, as well as how problems can be resolved on the fly at run time.

Feel free to bring your lunch — light refreshments will be provided. Research Talks is supported by the Research Support Fund.

Location 
DC - William G. Davis Computer Research Centre

200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
1
2
3
4
  1. 2024 (98)
    1. April (21)
    2. March (27)
    3. February (25)
    4. January (25)
  2. 2023 (296)
    1. December (20)
    2. November (28)
    3. October (15)
    4. September (25)
    5. August (30)
    6. July (30)
    7. June (22)
    8. May (23)
    9. April (32)
    10. March (31)
    11. February (18)
    12. January (22)
  3. 2022 (245)
  4. 2021 (210)
  5. 2020 (217)
  6. 2019 (255)
  7. 2018 (217)
  8. 2017 (36)
  9. 2016 (21)
  10. 2015 (36)
  11. 2014 (33)
  12. 2013 (23)
  13. 2012 (4)
  14. 2011 (1)
  15. 2010 (1)
  16. 2009 (1)
  17. 2008 (1)