• 
• Emily First
• Assistant Professor
• Website: Personal Website
• Email Address:
• Address:

  Hill 414

• Specialty Research Area: Machine Learning, Software Engineering, Programming Languages, AI for Theorem Proving, AI for Formal Verification