Nikhil Pimpalkhare will present his General Exam "Procedure Summarization via Vector Addition Systems and Inductive Linear Bounds" on Thursday, October 5, 2023 at 12pm in CS 301 and Zoom.
The members of his committee are as follows: Zachary Kincaid (adviser), Aarti Gupta, David Walker
Abstract and Reading List can be found here: