:blogpost: true
:date: August 15, 2025
:author: AB
:category: Research Update
:tags: Formal Methods, TLA+, LLMs, Awards
:nocomments:

Eric Spencer Awarded Mulcahy Scholar Stipend
=============================================

Eric Spencer, an undergraduate researcher in the AI4FM group, has been awarded a
**$1,000 Mulcahy Scholar stipend** from the Loyola University Chicago College of
Arts and Sciences to support his research on LLM-based TLA+ specification synthesis.

Eric is conducting this research under the supervision of Professor Konstantin Läufer.
The work contributes to the group's ongoing evaluation of large language models for
formal verification tasks, examining whether LLMs can generate semantically correct
TLA+ specifications from natural language.

The Mulcahy Scholars Program supports undergraduate research experiences of scholarly
significance across the College of Arts and Sciences at Loyola University Chicago.

`Read more about the Mulcahy Scholars Program <https://www.luc.edu/cas/academics/undergraduateresearchopportunities/>`__