The UNSW Theoretical Computer Science research group is pushing the boundaries of what our computers and technology are capable of. We strive to understand the nature of computation and what properties of algorithms and protocols are achievable.

Our current research includes:

  • algorithms and complexity
  • Algorithmic Decision Theory
  • blockchain, smart contracts and cryptocurrency
  • computational social choice
  • concurrency
  • formal methods
  • foundations of programming language
  • logic in computer science
  • optimisation
  • signal processing.