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.

Turing2

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.

areas.jpeg

Activities

Our activities and research initiatives build communities and advance knowledge.

topics

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