Fields of interests: bounded arithmetic,
quantum circuits, databases, nonmonotonic logics, lengths of
proofs, proof theory, logic in general, and web development.
[Publications, Reviews, Talks] [Master's/Research students]
[CS174 Sec 2 and 3] [Previous semesters]
Current: [Graduate Coordinator] [Software Engineering and Databases Committee
Chair] [College Research Committee]
Old: [Undergraduate Curriculum Committee] [Executive Committee] , [RTP Committee], [Recruitment Committee], [Programming, Algorithms, and Theory Committee] [CS Colloquium] [Accessible Technology Initiative]
[Ad-hoc Ethics Committee] [AI, Specialty Courses Committee] [Committee on Committees] [Department Assessment Committee] [Graduate Student Committee] [Introductory, Database, Systems Committee] [RTP Committee] [Scholarship Committee] [Special Courses Committee] [University Planning Committee]
[Pictures] [Open Source Search Engine] [Brother's Fine Art Site] [ECCC] [LANL] [Citeseer] [Help Desk]
Monday, 22-Aug-2016 15:45:26 PDT.
||[About Chris Pollett's site...]|