Lee Barnett, MSc

Since January 2019, I am a Ph.D. student of Computer Science at JKU, supervised by Prof. Armin Biere, participating in the Austrian doctoral program Logical Methods in Computer Science (LogiCS) funded by FWF and the LIT AI Lab funded by the State of Upper Austria.

Office

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

Contact

lee.barnett@jku.at
http://fmv.jku.at/barnett

Address

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