|Andrew V. Clifton|
|Computer Science Instructor|
|Phone||714-992-7418 (ext. 27418 on campus)|
|Office Hours||Mon,Wed 10:00 - 11:35 AM |
Thurs 1:00 - 2:50 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 (Fall 2019)
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)