| Andrew V. Clifton | |
|---|---|
| Professor of Computer Science | |
aclifton@fullcoll.edu | |
| Phone | 714-992-7418 (ext. 27418 on campus) |
| Office | Room 611-03 |
| Office Hours (room 611-03) |
Mon — Wed, 8:15 — 9:15 AM Thurs 2:00 — 3:45 PM |
| Math/CompSci Tutoring Lounge hours | Wed 3:00 — 5:00 PM |
I am a professor of computer science at Fullerton College, in the Math and Computer Science Division. My research interests include computer science education, proof theory, and programming language design.
Spring 2026 Courses
- CSci 123 (CRN 22280)
- CSci 133 (CRNs 22290 and 22291)
- CSci 133 (CRN 24511, online): See Canvas for course content
- CSci 241 (CRN 22313)
Library
I maintain a fairly large library of books on computer science and related topics; if you want to borrow something, just send me an email.
Publications and other documents
- Curriculum Vitae
- My Masters thesis: "Arend: Proof-assistant-assisted pedagogy"
- Lecture notes on Type Theory, from a talk I gave to the Fullerton College Math Colloquium.
- Proofs and Programs — lecture notes, from a talk given to the Fullerton College CSci. club.
- My course notes LaTeX document class
- My syllabus LaTeX document class (derived, with permission, from Brian R. Hall's template)
Other interests
- I collect fountain pens.
- I like to hike and backpack.
- I have way too many board games.
- I play classical piano.
