Swarup Kumar Mohalik
Principal Researcher, AI, and formal methods
Ericsson Research
Bangalore, India
Swarup has worked on the application of AI and formal methods to telecom problems in both RAN and Core domains, especially focusing on Trustworthy AI. He has research experience in 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, India, and a BTech and MTech 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.