Mathematics Research Assistant
New York University Abu Dhabi
مجموع سنوات الخبرة :2 years, 6 أشهر
• Worked with Professors of Mathematics Alberto Gandolf and Marco Maggesi on theorem-proving
• Explored logical gaps in Euclid's Elements, through proof-checking, fnding 2 major gaps in the theory
• Produced a research paper, contributing to ongoing research on the formalization of mathematical theories