kartik-middle-sabharwal@uiowa.edu
https://github.com/kartik-sabharwal
I am a Ph.D. student at the University of Iowa's Computational Logic Center where I have the good fortune to be supervised by Professor Cesare Tinelli and Dr. Andrew Reynolds as I explore ways to improve support for automated induction, conjecture generation and quantifier instantiation in the SMT solver cvc5.
I received my M.S. in Computer Science at Indiana University Bloomington and am thankful for the company and support of the faculty and students of the Center for Programming Systems as well as the PL Wonks group. I am especially grateful to Professor Sam Tobin-Hochstadt for supervising my master's thesis on leveraging techniques from automated theorem proving for subtyping in Typed Racket.
My dual interests in automated theorem proving and programming languages were kindled by interactions with the instructors and students at Carnegie Mellon University where I earned a B.S. in Mathematical Sciences.