[ office | contact | address ]
Ankit Kumar, M.Sc.
Since November 2018, I am a Ph.D. student of Computer Science at JKU, supervised by Prof.Armin Biere and Prof.Martina Seidl, participating in the Austrian doctoral program Logical Methods in Computer Science (LogiCS) funded by FWF.
Science Park 3 (SCP3), 2nd
Institute for Formal Models and Verification