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