Events

Candidate

Kaveh Fazli

Title

Tools and Methodologies for FHE-Based Privacy-Preserving Image Processing Cloud Application Development

Supervisor

Guang Gong

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

Candidate

Yunling Cui

Title

Gromit - An In-Memory Graph Database

Supervisor

Hiren Patel

Candidate

Assem Shoukry Mohamed Hussein

Title

Fault Tolerance of Stochastic Decoders

Supervisors

Mohamed Elmasry (Adjunct) and Vincent Gaudet

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

Speaker: Dr. Simon Haykin

Date: February 17, 2017

Time: 1:30pm to 2:30pm, reception to follow

Abstract:

Title

Automated Vulnerability Analysis and Exploit Generation for Web Applications

Speaker

Venkat Venkatakrishnan, Department of Computer Science, University of Illinois, Chicago

Candidate

Yujie Tang

Title

Cooperative Spectrum Sharing in Cognitive Radio Networking

Supervisor

Jon Mark (Adjunct)

Title

Type-Driven Program Synthesis

Speaker

Dr. Nadia Polikarpova, Computer Science and Artificial Intelligence Lab, MIT