Broad research and knowledge interests include, logic in computer science, theory of distributed systems, static type systems, programming languages semantics and models of computation.
Besides, in my pass time, I have an eye for computational geometry, computer graphics and human-computer interaction.