Towards Formal Methods and Software Engineering for Deep Learning: Security, Safety, and Productivity for DL Systems Development

Youry Khmelevsky
Computer Science Department
Okanagan College, Kelowna, BC, Canada

Towards Formal Methods and Software Engineering for Deep Learning: Security, Safety, and Productivity for DL Systems Development
(co-sponsored by IEEE Okanagan Subsection)

Time & Date: 7:00–8:30 pm, Monday, September 16, 2019
Location: Lecture Theatre, (PL 107), Ashnola Building, Okanagan College Penticton Campus, 583 Duncan Avenue, Penticton, BC
Note: Admission is by donation. Funds will be used to help students in need (https://ocspeakersseries.weebly.com)

Abstract:

Deep Learning (DL) techniques are now widespread and being integrated into many important systems. Their classification and recognition abilities ensure their relevance for multiple application domains far beyond pure signal processing. As a machine-learning technique that relies on training instead of explicit algorithm programming, they offer a high degree of productivity. But recent research has shown that they can be vulnerable to attacks and the verification of their correctness is only just emerging as a scientific and engineering possibility. Moreover, DL tools are not integrated into classical software engineering so software tools to specify, modify and verify them would make them even more mainstream as software-hardware systems. This talk will survey recent work and propose research directions and methodologies for this purpose.

Speaker Bio:

Youry Khmelevsky received his Ph.D. degree in computer science from the Institute of Simulation Problems in Power Industry, Academy of Sciences of Ukraine. His current research interests include software engineering; cloud and high-performance computing; large Web-based information systems (Oracle, DB2, Sybase, MS SQL); no programming paradigm and source code generation from UML models and software specifications; interdisciplinary applied computer science research. Dr. Khmelevsky had served as postdoctoral fellow at Harvard University; was a Visiting Scientist in the Computer Science and Artificial Intelligence Laboratory (CSAIL), Massachusetts Institute of Technology (MIT); was an Invited Researcher at LIP6, Sorbonne University, Paris, France; held engineering and R&D positions in Industry in Europe and North America for about 15 years, including at Alberta Energy, Government of Alberta, Canada.

For further information please contact: Youry Khmelevsky (email: Youry at IEEE.org)
Registration is opened now: https://events.vtools.ieee.org/tego_/event/manage/204797