| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/barnett/
vary: Origin
x-request-id: 01KF0DRG32HVDZ30RQCNNEFT7W
content-length: 44
date: Thu, 15 Jan 2026 08:53:38 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Thu, 15 Jan 2026 10:03:38 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KF0DRG7E4GCNQDS0088XPM86
content-length: 6237
date: Thu, 15 Jan 2026 08:53:38 GMT
Lee Barnett, MSc
|
team
|
[ office | contact | address ] Lee Barnett, MScSince 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. OfficeScience Park 3 (SCP3), 2nd
Floor Contactlee.barnett@jku.at AddressInstitute for Formal Models and Verification |
