Events
Filter by:
PhD seminar - Kaveh Fazli
Candidate
Kaveh Fazli
Title
Tools and Methodologies for FHE-Based Privacy-Preserving Image Processing Cloud Application Development
Supervisor
Guang Gong
Reza Babaee Cheshmeahmadrezaee
Candidate
Reza Babaee Cheshmeahmadrezaee
Topic
Predictive Runtime Verification of Cyber-Physical Systems
Supervisor
Sebastian Fischmeister and Arie Gurfinkel
Background subjects
- Formal Methods
- Machine Learning
- Software Engineering
- Embedded Software
MASc seminar - Yunling Cui
Candidate
Yunling Cui
Title
Gromit - An In-Memory Graph Database
Supervisor
Hiren Patel
MASc seminar - Assem Shoukry Mohamed Hussein
Candidate
Assem Shoukry Mohamed Hussein
Title
Fault Tolerance of Stochastic Decoders
Supervisors
Mohamed Elmasry (Adjunct) and Vincent Gaudet
MASc seminar - Ahmed Alqurashi
Candidate
Ahmed Alqurashi
Title
A New Approximation of Fermi-Dirac Integrals of Order 1/2 by Prony’s Method and Its Applications in Semiconductor Devices
Supervisor
Chettypalayam Selvakumar
Distinguished Lecture: Cognitive Risk Control for Physical Systems, presented by Dr. Simon Haykin
Distinguished Lecture: Cognitive Risk Control for Physical Systems
Speaker: Dr. Simon Haykin
Date: February 17, 2017
Time: 1:30pm to 2:30pm, reception to follow
Abstract:
Seminar - Venkat Venkatakrishnan, Department of Computer Science, University of Illinois, Chicago
Title
Automated Vulnerability Analysis and Exploit Generation for Web Applications
Speaker
Venkat Venkatakrishnan, Department of Computer Science, University of Illinois, Chicago
PhD seminar - Yujie Tang
Candidate
Yujie Tang
Title
Cooperative Spectrum Sharing in Cognitive Radio Networking
Supervisor
Jon Mark (Adjunct)
Seminar - Dr. Nadia Polikarpova, Computer Science and Artificial Intelligence Lab, MIT
Title
Type-Driven Program Synthesis
Speaker
Dr. Nadia Polikarpova, Computer Science and Artificial Intelligence Lab, MIT