Home
Advancing knowledge in computer science, mathematics and artificial intelligence from their theoretical foundations
The Monash Laboratory for the Foundations of Computing (MLFC) fosters new research in the theoretical foundations of computer science and AI. We provide an ideal academic environment to do mathematically-grounded work to enhance research and education globally.
Our interdisciplinary lab allows Monash University to approach theory-based problems from a range of angles and using different techniques and technologies to deliver well-rounded solutions for the world.

People
The lab is composed of experts in different fields, all driven by a strong interest in theoretical aspects of computing.

Publications
Access our papers and learn more about all the new knowledge and research results that we have contributed to the world.

Seminars
We frequently host a range of events for academics, students, researchers, and industry to learn and share their insights.

Activities
Our activities and research initiatives build communities and advance knowledge.

Opportunities
We offer a wide range of PhD scholarships, research internships, and MSc/Honours projects to study and work with us.
About
The Monash Laboratory for the Foundations of Computing (MLFC) was established with the purpose of providing a place at Monash University to foster, promote, and advance theoretical research in Computer Science, Mathematics, and Artificial Intelligence.
Contact us
Dr Julian Gutierrez (Co-Director)
E: Julian.Gutierrez@monash.edu
Professor Graham Farr (Co-Director)
E: Graham.Farr@monash.edu
Areas of expertise and research
- Computation theory and discrete mathematics
- Automated reasoning and discrete optimisation
- Learning theory and probabilistic reasoning
- Theoretical foundations of computer security