Dr. Tom van Dijk

Since August 2016, Dr. Tom van Dijk is a Post-Doc at JKU with Prof. Armin Biere within National Research Network (NFN) on Rigorous Systems Engineering (RiSE).

Additional information on the external page: http://www.tvandijk.nl.

Office

Science Park 3 (SCP3), 2nd Floor
Room S3 0257

Contact

http://fmv.jku.at/vandijk

Address

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