Ph.D. programme (Completed)

Name : Ramanuj Chouksey
Thesis Title: Formal Verification and Security Analysis of High-level Synthesis.
Viva Voice Date : 11-08-2020
Supervisor(s) : Chandan Karfa