photo

Lee A. Barnett

Graduate student

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

Office: Sitterson 326
Email: lbarnett at cs.unc.edu

Research interests: automated theorem proving, formal verification


News

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


Education

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.

Teaching


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