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

Graduate Education

#finaloralexamination

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.

Event Publishing

Add an Event 

Submit your own event using our simple event submission form. It only takes a minute!

Event Publisher Training 

Learn best practices to maximize the calendar’s latest features.

Make a Calendar Feed 

Embed events anywhere on the web with our widget builder.

Explore Comet Calendar

Events by Email

Get a personalized list of events in your inbox with our digest emailer.

30-second Survey

Share your feedback and suggestions on how we can improve the Comet Calendar.

The University of Texas at Dallas