| 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-02) |
Mon/Tues 8:15 — 9:15 AM Wed 8:15 — 9:00 AM Mon 2:00 — 2:45 PM Thurs 3:15 — 4:45 PM |
| Math/CompSci Tutoring Lounge hours | Wed/Thurs 2:00 — 3: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 2025 Courses
- CSci 123 (CRN 21303)
- CSci 133 (CRNs 21313 and 21314)
- CSci 241 (CRN 21338 and 24883)
- 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)
- I collect fountain pens.
- I like to hike and backpack.
- I have way too many board games.
- I play classical piano.
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.
