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] [CS267 Sec 1] [Previous semesters]
Current: [Graduate Coordinator] [Undergraduate Curriculum 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 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]
Friday, 29-Jan-2016 00:29:41 PST.
||[About Chris Pollett's site...]|