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.