#introduction My research focuses on using Big data and machine learning Technology to study philosophical questions about mathematical practices. I teach undergraduate courses in philosophy of computer science.