Research Interests

Design and analysis of algorithms, theory of computation, computational complexity, parallel computing, formal verification, molecular computing, membrane computing