• Project Assistant, MSc
• Institute for Formal Models and Verification
• Johannes Kepler Universität Linz
• Altenbergerstraße 69
• 4040 Linz
• Austria

---

• Email: lee.barnett [at] jku.at

---

Research Interests

• Automated theorem proving, SAT

---

Current Position

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

---

Education

• MSc in Computer Science (University of North Carolina at Chapel Hill)
• BSc in Mathematics, Linguistics (Tulane University)