|Andrew V. Clifton|
|Computer Science Instructor|
|Phone||714-992-7418 (ext. 27418 on campus)|
|Office Hours||Mon Wed 2:00-4:00 PM|
Thurs 3:00-4:30 PM
|CSci lab hours||Mon,Wed 9:30-11:30 AM |
Thurs 12:45-2:45 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.
Current Courses (Fall 2020)
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)