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 315
Email: lbarnett at cs.unc.edu

Research interests: automated reasoning, proof theory


News

My paper, Goal-Sensitive Reasoning with Disconnection Tableaux, was accepted at TABLEAUX 2017


Education

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


Teaching


Fall 2017 - Discrete Structures (TA)
Summer 2017 - Intro. to Programming
Spring 2017 - Discrete Structures (TA)
Fall 2016 - Discrete Structures (TA)
Summer 2016 - Intro. to Number Theory (at Duke TIP)
Spring 2016 - Discrete Structures (TA)

Last updated Aug. 2017