Nils Froleyks, MSc

Since March 2020, I am a PhD student of Computer Science at JKU, supervised by Prof. Armin Biere.

Office

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

Contact

nils.froleyks@jku.at
https://fmv.jku.at/froleyks

Address

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