Tuesday, March 3, 2020 2:30pm
All Are Invited to the Final Examination of
Xiaoyu Wang
Graduate Program in Computer Science
March 3, 2020, at 2:30 p.m. in ECSS 4.908A
Title of Dissertation:
A GRAMMATICAL FRAMEWORK FOR THE GENERATION AND VERIFICATION OF TRACTABLE DESIGNS
Student’s Supervising Committee:
Kang Zhang, Chair
Gopal Gupta
Xiaohu Guo
Weili Wu
Engineering and Computer Science South (ECSS), 4.908A
800 W. Campbell Road, Richardson, Texas 75080-3021
UTD strives to create inclusive and accessible events in accordance with the Americans with Disabilities Act (ADA). If you require an accommodation to fully participate in this event, please contact the event coordinator (listed above) at least 10 business days prior to the event. If you have any additional questions, please email ADACoordinator@utdallas.edu and the AccessAbility Resource Center at accessability@utdallas.edu.