معرفی
Michael J Beeson is a Professor of Computer Science at San José State University. He holds a Ph.D. from Stanford University (1972). His research focuses on automated reasoning, constructive mathematics, and formal geometry. Key areas include proof-checking Euclidean geometry, minimal surfaces, and set theory. He has received NSF grant CCR-0204362 for research in automated reasoning. Beeson has authored numerous articles on topics like Tarskian geometry, non-Euclidean systems, and geometric tiling. His work bridges logic, computation, and traditional mathematical proof methods.
Education:
- Doctor of Philosophy, Stanford University, 1972
Research Interests:
- Constructive approaches to geometry and set theory
- Automated theorem proving and proof verification
- Applications of lambda calculus and type theory
- Historical and foundational aspects of mathematics
Grants & Support:
- National Science Foundation grant CCR-0204362 (2005–3000)
Labs/Teams: Collaborates with projects like GeoCoq for formalized geometry and OTTER/Ivy theorem provers.
۰مقاله منتشرشده
