Skip to main content (Press Enter)
Research Area

Theory of Computation

The theory of computation, also known as automata theory, is the study of abstract mathematical machines (or models of computation – the most well-known being the Turing machine) and the computation problems that they can be used to solve. Automata enable a researcher to understand how machines compute functions and solve problems. The main goal underlying the development of automata theory was to develop methods to describe and analyze the dynamic behaviour of discrete systems. It is a field closely related to formal language theory because automata are often classified by the class of formal languages they can recognize. Recent applications of automata theory and formal languages in bioscience and DNA computing have generated renewed interest in this foundational area.


  • Research Interests:
    • parallel computing
    • unconventional computation
  • Research Interests:
    • Algorithms
    • Network Management and Optimization
    • Healthcare Resource Management
  • Research Interests:
    • programming languages
    • logic
    • type systems
    • verification
    • incremental computation
  • Research Interests:
    • Computational geometry
  • Research Interests:
    • theory of computation
Back to top