Ankit Shukla, M.Sc.

Since November 2018, I am a Ph.D. student of Computer Science at JKU, supervised by 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

ankit.shukla@jku.at.at
http://fmv.jku.at/shukla

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria