Andrew V. Clifton
	andyclifton@gmail.com
	Photo gallery

I am an instructor at Fullerton College, in the Math and Computer Science division My research interests include computer science education, proof theory, and programming language design.

Recent blog posts

• Universal environment variables with pam_env

  Mar 31, 2017

• Backpacking the Kaiser Loop trail, postmortem

  Jun 20, 2016

• Windows Protocol Handlers for Sysadmins

  Jun 8, 2016

• Backpacking: Shoes

  Jun 8, 2016

• Per-user customization of GTK2/3 themes

  May 4, 2016

(See all posts...)

Publications

• Arend: Proof-Assistant Assisted Pedagogy. Project report, CSU Fresno, Computer Science Dept. May 2015. PDF, Slides, Source repo
• Lecture notes for CSci 60, on discrete math (in progress)
• Lecture notes on regular languages and finite automata (in progress)
• Lecture notes on parsing and context-free languages (in progress)

Other possibly useful things

• Curriculum Vitae
• My course notes LaTeX document class
• My syllabus LaTeX document class (derived from Brian R. Hall's template)
• This typeface is Junicode.

Other interests

• I collect fountain pens.
• I like to hike.
• I have way too many board games.
• I play classical piano.