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 1] [CS254 Sec 1] [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]
Saturday, 28-Jan-2017 11:45:47 PST.
||[About Chris Pollett's site...]|