Innovation, E404
University of Vermont, 82 University Pl, Burlington, VT 05405
Burlington , VT 05405
United States
- PhD Mathematics (Recursion Theory)
- 1986. MS Mathematics
- 1983. BS
- Secondary Education and Mathemtatics, 1980.
Department of Mathematics and Statistics
BIO
I got my PhD in the Theory of Computation at the University of Connecticut in 1986. Most of my time since has been across the river at St Michael's, doing Math and computing. I have written a number of texts that are Free; see my website at https://hefferon.net. I came to UVM in 2023. In my spare time I like to jog and do ham radio.
Courses
- MATH 1212 — Foundations of Calculus
- MATH 1234 — Calculus I
- MATH 1248 — Calculus II
Awards and Achievements
- 2020 Solow Author's Award, Mathematics Association of America
Area(s) of expertise
Theory of Computation, Free textbooks.
Bio
I got my PhD in the Theory of Computation at the University of Connecticut in 1986. Most of my time since has been across the river at St Michael's, doing Math and computing. I have written a number of texts that are Free; see my website at https://hefferon.net. I came to UVM in 2023. In my spare time I like to jog and do ham radio.
Courses
- MATH 1212 — Foundations of Calculus
- MATH 1234 — Calculus I
- MATH 1248 — Calculus II
Awards and Achievements
- 2020 Solow Author's Award, Mathematics Association of America
Areas of Expertise
Theory of Computation, Free textbooks.
Publications
- Free texts in Linear Algebra
- Theory of Computation
- Proofs