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.

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