- Project Assistant, MSc
- Institute for Formal Models and Verification
- Johannes Kepler University
- Altenbergerstr. 69, 4040 Linz, Austria
- Room: S3 0257
- Email: ankit.kumar [at] jku.at
-
I'm a disciple of the Great Oliver Kullmann. > You can find him in his meditative posture here
Research Interests
- SAT and (D)QBF Solvers
- Type and Proof Theory
Current Position
- Since November 2018, I am a PhD student in the Doctoral College Logical Methods in Computer Science, supervised by Prof. Armin Biere and Assoc.-Univ.Prof. Dr. Martina Seidl.
Education
- MSc in Computing Science (2015-2018), University of Amsterdam