Get Involved¶
We welcome contributions and collaboration from researchers, students, and practitioners interested in formal methods, LLMs, and rigorous software engineering.
Contributing to Our Projects¶
All of our projects are open source on GitHub. The best way to get started is to:
Explore our repositories at https://github.com/LUC-AI4FM - star repos you find valuable.
Read recent research updates on this site to understand our current directions.
Open an issue or discussion on a repository if you have questions, ideas, or bug reports.
Submit a pull request with improvements, fixes, or new features.
We follow standard open-source collaboration practices: fork → branch → PR.
Each repository has its own CONTRIBUTING.md or README.md with setup instructions.
Joining as a Student Researcher¶
If you are a student at Loyola University Chicago interested in joining AI4FM:
Read through our projects and recent updates to understand our current work.
Come prepared to discuss which projects align with your interests and how you can contribute.
Reach out to the relevant faculty member through the Loyola CS Department directory.
We are especially interested in students with background or interest in:
Formal specification languages (TLA+, Alloy, Coq, or similar)
Python programming and data pipelines
Machine learning and LLM evaluation
Systems programming, distributed systems, or HPC
Graduate Applicants¶
Prospective PhD and MS students should apply through Loyola University Chicago’s official admissions portal.
In your Statement of Purpose, describe your interest in formal methods or related areas and how your background connects to our research directions.
External Collaborators¶
We collaborate with researchers at other institutions on joint projects and publications. For collaboration inquiries, reach out through repository issue trackers or contact our team directly via the Team page.
Community Standards¶
All contributors and members of the AI4FM community are expected to follow recognized community standards for respectful and inclusive collaboration: