Dr. A. Baskar completed his Ph.D. from Chennai Mathematical Institute in 2011. He was in Germany for a year as a Post Doctoral Fellow. He joined BITS Goa in 2013 and before joining BITS, he was working as a Post Doctoral Fellow in IMSc Chennai. His research interests are Automata theory, Logic and their applications to Computer Science.