 In mathematics, the main areas of research activity have been in algebraic geometry, representation theory, operator algebra, commutative algebra, harmonic analysis, control theory and game theory.Research work includes stratification of binary forms in representation theory, the Donaldson-Uhlenbeck compactification in algebraic geometry, stochastic games, inductive algebras of harmonic analysis, etc.The research activity in theoretical computer science at CMI has been primarily in computational complexity theory, specification and verification of timed and distributed systems and analysis of security protocols.