Funding#
AI4FM research is supported by the following programs and awards.
Student Research Awards#
Mulcahy Scholars Program
College of Arts and Sciences, Loyola University Chicago
Eric Spencer received a $1,000 Mulcahy Scholar stipend to support his undergraduate research on LLM-based TLA+ specification synthesis, conducted under the supervision of Professor Konstantin Läufer.
The Mulcahy Scholars Program supports undergraduate research experiences of scholarly significance across the College of Arts and Sciences at Loyola University Chicago.