|Andrew V. Clifton|
|Computer Science Instructor|
|Phone||714-992-7418 (ext. 27418 on campus)|
|Office Hours||Mon., Wed., & Thurs. 2:00-3:30 PM and|
Tues. 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.
Courses (Fall 2016)
Other possibly useful things
- Curriculum Vitae
- My Masters thesis: "Arend: Proof-assistant-assisted pedagogy"
- My course notes LaTeX document class
- My syllabus LaTeX document class (derived, with permission, from Brian R. Hall's template)