Ankit Kumar

  • Project Assistant, MSc
  • Institute for Formal Models and Verification
  • Johannes Kepler University
  • Altenbergerstr. 69,  4040 Linz, Austria

  • Room: S3 0257
  • Email: ankit.kumar [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


  • MSc in Computing Science (2015-2018), University of Amsterdam


You can find my publications here