team
contact
software
publications
teaching
jobs
[ 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.
Office
Science Park 3 (SCP3), 2nd
Floor
Room S3 0257
Contact
Address
Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria