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]
[CS156 Sec 1] [CS255 Sec 1] [Previous semesters]
Old: (I am on sabbatical for Fall 2015).
[Executive Committee] [Graduate Coordinator], [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] [College Research Committee] [Department Assessment Committee] [Graduate Coordinator] [Graduate Student Committee] [Introductory, Database, Systems Committee] [RTP Committee] [Software Engineering and Databases Committee Chair] [Scholarship Committee] [Special Courses Committee] [University Planning Committee]
[Pictures: login/password guest] [Open Source Search Engine] [Brother's Fine Art Site] [ECCC] [LANL] [Citeseer] [Help Desk]
Tuesday, 26-May-2015 15:57:30 PDT.
||[About Chris Pollett's site...]|