David Masters Remote Thesis Defense
Friday, March 19, 2021 5:15pm to 7:15pm
About this Event
Dept: Electrical Engineering and Computer Science
Date: Friday, March 19, 2021
Time: 5:15pm-7:15pm
Place: Remote Defense via Microsoft Teams
Title: Verifying Value Iteration and Policy Iteration in Coq
Student: David Masters
Advisor: Dr. Gordon Stewart
Event Details
See Who Is Interested
0 people are interested in this event
Dial-In Information
Please contact David Masters dm526513@ohio.edu or their advisor Dr. Gordon Stewart gstewart@ohio.edu if you with to obtain instructions to join the remote defense.
User Activity
No recent activity