Swarup Kumar Mohalik
His expertise is in Artificial Intelligence and formal methods and he has worked on application of these to Internet-of-Things and service automatization. He has research experience in the areas of formal specification and verification of real-time embedded software, model based testing and AI planning techniques. Swarup has a PhD in Computer science from the Institute of Mathematical Sciences, Chennai and a B.Tech and M.Tech in Computer Science from the Indian Institute of Technology, Kanpur, India. He has worked as a post-doctoral Fellow at LABRI, University of Bordeaux, France. Prior to joining Ericsson, Swarup worked at Intel, General Motors and Hewlett-Packard.