|Andrew V. Clifton|
|Computer Science Instructor|
|Phone||714-992-7418 (ext. 27418 on campus)|
|Office Hours||MonWed 8:00-9:20 AM |
TuesThurs 10:30-Noon AM
|CSci lab hours||Tues 2:00-2:50 PM and 4:00-5:30 PM |
Thurs 11:40 AM - 1:30 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.
Courses (Spring 2018)
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 things
- 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.
- My course notes LaTeX document class
- My syllabus LaTeX document class (derived, with permission, from Brian R. Hall's template)