Events

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

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. 2017 (179)
    1. November (1)
    2. October (5)
    3. September (17)
    4. August (17)
    5. July (33)
    6. June (15)
    7. May (23)
    8. April (28)
    9. March (17)
    10. February (10)
    11. January (13)
  2. 2016 (242)
    1. December (11)
    2. November (17)
    3. October (11)
    4. September (21)
    5. August (27)
    6. July (54)
    7. June (13)
    8. May (20)
    9. April (22)
    10. March (18)
    11. February (6)
    12. January (22)
  3. 2015 (242)
  4. 2014 (268)
  5. 2013 (192)
  6. 2012 (31)