Grounded Deduction for Systems Reasoning

Speaker: <br> Srikanth  Ananthajit <u>EDIC candidacy exam</u><br> Exam president: Prof. Viktor Kuncak<br> Thesis advisor: Prof. Bryan Ford<br> Co-examiner: Prof. Thomas Bourgeat<br> <br> <u>Abstract</u><br> <br> <u>Selected papers</u>