Philip Daian
From FSL
Philip Daian was an FSL undergraduate student at UIUC and an employee at Runtime Verification, Inc.. He is now pursuing a PhD at Cornell. Check out his webpage at https://pdaian.com/ for latest news about him.