| CARVIEW |
Select Language
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 02:23:02 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KEZKD43NGM2M6VJ69X5R1NDH
content-length: 6237
date: Thu, 15 Jan 2026 01:13:02 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 |
