University of Waterloo
200 University Ave W, Waterloo, ON
N2L 3G1
Phone: (519) 888-4567
Staff and Faculty Directory
Contact the Department of Electrical and Computer Engineering
Tuesday, February 28, 2017 — 1:00 PM EST
Candidate
Yujie Tang
Title
Cooperative Spectrum Sharing in Cognitive Radio Networking
Supervisor
Jon Mark (Adjunct)
Monday, February 27, 2017 — 10:00 AM EST
Candidate
Nizar H Alsharif
Title
Connectivity-Aware Routing in Vehicular Ad hoc Networks
Supervisor
Sherman Shen
Thursday, February 23, 2017 — 10:30 AM EST
Title
Type-Driven Program Synthesis
Speaker
Dr. Nadia Polikarpova, Computer Science and Artificial Intelligence Lab, MIT
Wednesday, February 22, 2017 — 2:00 PM EST
Candidate
Yujie Tang
Title
Cooperative Spectrum Sharing in Cognitive Radio Networking
Supervisor
Jon Mark (Adjunct)
Wednesday, February 22, 2017 — 10:30 AM EST
Title
Automated Vulnerability Analysis and Exploit Generation for Web Applications
Speaker
Venkat Venkatakrishnan, Department of Computer Science, University of Illinois, Chicago
Friday, February 17, 2017 — 1:30 PM to 3:00 PM EST
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:
Thursday, February 16, 2017 — 2:30 PM EST
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
Wednesday, February 15, 2017 — 2:00 PM EST
Candidate
Assem Shoukry Mohamed Hussein
Title
Fault Tolerance of Stochastic Decoders
Supervisors
Mohamed Elmasry (Adjunct) and Vincent Gaudet
Monday, February 13, 2017 — 2:00 PM EST
Candidate
Yunling Cui
Title
Gromit - An In-Memory Graph Database
Supervisor
Hiren Patel
Wednesday, February 1, 2017 — 12:00 PM EST
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