| 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.
Summer 2026 Courses
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.
