San Jose State University :: Faculty & Staff Web Pages: Michael J. Beeson's Home Page


Beeson, Michael J.

Professor,  Computer Science

Additional Contact Information

Phone Number(s)
(408) 924-5113

Areas of Expertise: Mathematics

Willing to be a media source Media Source   Not a speaker Speaker   Not a collaborative researcher Collaborative Researcher


  • Doctor of Philosophy. Stanford Univ, 1972

Expertise Summary

Metamathematics of constructive mathematics, Prolog, MathXpert, geometry, number theory