Home

Advancing knowledge in computer science, mathematics and artificial intelligence from their theoretical foundations

The Laboratory for the Foundations of Computing 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.

Our areas of expertise and research include:

  • Computation theory and discrete mathematics
  • Automated reasoning and discrete optimisation
  • Learning theory and probabilistic reasoning
  • Theoretical foundations of computer security
asset_thumbnail_alt%:2571018%

About

We aim to foster, promote, and better enable mathematically-grounded research in different fields of computing.
asset_thumbnail_alt%:2664155%

People

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

Activities

Our activities and research initiatives build communities and advance knowledge.
asset_thumbnail_alt%:2209498%

Opportunities

We offer a wide range of PhD scholarships, research internships, and MSc/Honours projects to study and work with us.
asset_thumbnail_alt%:2740981%

Publications

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

Learn more about the lab

For any additional questions or inquiries, feel free to reach out to
Professor Graham Farr (Co-Director).