PhD Defense: Verification of Program Parallelization

When: March 2, 2018, 16:30-18:00

Where: Waaier 4

Who: Saeed Darabi

To be announced.