Lee A. Barnett

Graduate student

Department of Computer Science
University of North Carolina at Chapel Hill
Chapel Hill, NC 27599-3175

Office: Sitterson 326
Email: lbarnett at

Research interests: automated theorem proving, formal verification


I am a TA for COMP 283 - Discrete Structures again this semester.


M.S. Computer Science, UNC 2017
B.S. Math and Linguistics, Tulane University 2014

Papers and Presentations

L. Barnett and D. Plaisted. Programming by Term Rewriting. 10th International Workshop on Computing with Terms and Graphs (TERMGRAPH). Oxford, UK, July 7, 2018.

L. Barnett. Goal-Sensitive Reasoning with Disconnection Tableaux. 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). In LNAI, vol. 10501.


Fall 2018 - Discrete Structures (TA)
Summer 2018 - Discrete Structures
Spring 2018 - Algorithms & Analysis
Fall 2017 - Discrete Structures (TA)
Summer 2017 - Intro. to Programming
Spring 2017 - Discrete Structures (TA)
Fall 2016 - Discrete Structures (TA)
Spring 2016 - Discrete Structures (TA)

Last updated Aug. 2018