Mathematics Research Assistant
New York University Abu Dhabi
Total years of experience :2 years, 6 Months
• 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