ICSG Alumnus is New Faculty at UIUC
Shobha Vasudevan who recieved her Ph.D. under the advising of Professor Jacob Abraham is a new faculty member at the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign. Her Ph.D. thesis was on “High Level Static Analysis of System Descriptions for Taming Verification Complexity”.