This site is supported by donations to The OEIS Foundation.
User:Christopher Carl Heckman
From OeisWiki
"Try to incude something interesting about yourself"? There's nothing interesting about me.
No, wait. I just remembered I'm a footnote in the history of the 4CT. I debugged the C program and wrote a Pascal program for the DISCHARGE algorithm in the Robertson-Sanders-Seymour-Thomas computer proof of the 4CT. I'm in the acknowledgements.
Since then, it's been a lot of teaching: Almost 3000 students in 10 years. (Arizona State; where else?)