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.

Papers

[ Google Scholar | DBLP ]

Office

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

Address

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