Skip to main content
UMass Collegiate M The University of Massachusetts Amherst
  • Visit
  • Apply
  • Give
  • Search UMass.edu
Manning College of Information & Computer Sciences

Main navigation

  • Academics

    Programs

    Undergraduate Programs Master's Programs Doctoral Program Graduate Certificate Programs

    Academic Support

    Advising Career Development Academic Policies Courses Scholarships and Fellowships
  • Research

    Research

    Research Areas Research Centers & Labs Undergraduate Research Opportunities

    Faculty & Researchers

    Faculty Directory Faculty Achievements

    Engage

    Research News Distinguished Lecturer Series Rising Stars in Computer Science Lecture Series
  • Community

    On-Campus

    Diversity and Inclusion Student Organizations Massenberg Summer STEM Program Awards Programs Senior Celebration

    External

    Alumni Support CICS
  • People
    Full A-Z Directory Faculty Staff
  • About

    Overview

    College Overview Leadership Our New Building

    News & Events

    News & Stories Events Calendar

    Connect

    Visiting CICS Contact Us Employment Offices & Services
  • Info For
    Current Undergraduate Students Current Graduate Students Faculty and Staff Newly Accepted Undergraduate Students

First Wins 2022-2023 Outstanding Dissertation Award

Content

June 2, 2025
Awards

Emily First MS’20, PhD’23 is the recipient of the 2022-2023 Manning College of Information and Computer Sciences (CICS) Outstanding Dissertation Award.

First’s dissertation, “Automating the Formal Verification of Software,” explores technology that addresses the challenges of proof synthesis—automatically generating formal proofs of software correctness—by leveraging advanced machine learning (ML) techniques and large language models (LLMs). 

She developed a suite of tools to improve proof synthesis and enable fully automating more verification, each addressing different aspects of the proof generation process—from modeling proof context and semantics to enhancing diversity in model learning and using transformers to generate complete proofs. 

“Dr. First is a remarkable scientist,” said First’s doctoral advisor and collaborator Yuriy Brun. “Her work requires deep expertise in two distant fields, formal verification and natural language processing. Many experts struggle to master just one, while Dr. First has successfully mastered both, creating deep solutions using the latest advances in natural language processing to solve critical problems in formal verification. The high quality of her work and the difficulty of the problems she tackles have resulted in numerous awards, including three ACM SIGSOFT Distinguished Paper Awards at our most prestigious conferences in the last four years.”

First is currently a postdoctoral researcher at UC San Diego. Her research lies at the intersection of software engineering, programming languages, and machine learning, with a specific focus on creating tools to automatically generate proofs of software correctness. First's research was also recently referenced in a paper that received a Distinguished Best Paper Award.

The CICS Outstanding Dissertation Awards are given annually to graduating doctoral students in recognition of exceptional work and to encourage the highest levels of computer science scholarship and research. Awardees are nominated by CICS faculty.

Article posted in Awards

Related research

  • Machine Learning

Site footer

Manning College of Information & Computer Sciences
  • Find us on Facebook
  • Find us on YouTube
  • Find us on LinkedIn
  • Find us on Instagram
  • Find us on Flickr
  • Find us on Bluesky Social
Address

140 Governors Dr
Amherst, MA 01003
United States

  • Visit CICS
  • Give
  • Contact Us
  • Employment
  • Events Calendar
  • Offices & Services

Info For

  • Current Undergraduate Students
  • Current Graduate Students
  • Faculty & Staff
  • Newly Accepted Undergraduate Students

Global footer

  • ©2025 University of Massachusetts Amherst
  • Site policies
  • Privacy
  • Non-discrimination notice
  • Accessibility
  • Terms of use