CV

Education

• Ph.D in Version Control Theory, GitHub University, 2018 (expected)
• M.S. in Jekyll, GitHub University, 2014
• B.S. in GitHub, GitHub University, 2012

Work experience

• Spring 2024: Academic Pages Collaborator
  • GitHub University
  • Duties includes: Updates and improvements to template
  • Supervisor: The Users
• Fall 2015: Research Assistant
  • GitHub University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub
• Summer 2015: Research Assistant
  • GitHub University
  • Duties included: Tagging issues
  • Supervisor: Professor Git

Skills

• Skill 1
• Skill 2
  • Sub-skill 2.1
  • Sub-skill 2.2
  • Sub-skill 2.3
• Skill 3

Publications

Analysis of Automated Theorem Proving through Abstraction of Logical Expressions

M. Pan. (2025). "Analysis of Automated Theorem Proving through Abstraction of Logical Expressions." National Conference on Undergraduate Research (NCUR). Oral Presentation.

Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic

M. Pan, D. Kodakandla, and M. Farooque. (2025). "Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic." 2025 IEEE International Symposium on Networks, Computers and Communications (ISNCC). pp. 1-4.

Talks

Teaching

Service and leadership

• Currently signed in to 43 different slack teams