Supratik Mukhopadhyay (SM’17) received the B.S. degree from Jadavpur University, India, the M.S. degree from Indian Statistical Institute, India, and the Ph.D. degree from the Max Planck Institut fuer Informatik and the University of Saarland. He is an Associate Professor with the Computer Science Division, Louisiana State University, Baton Rouge, USA. His areas of specialization include formal verification of software, inference engines, big data analytics, distributed systems, parallel computing framework, and program synthesis. His research in these areas has been supported by NSF, ONR, DARPA, ARO, NASA, DOT, DOE, NGA, state agencies, and industry. He has published over 105 peer-refereed technical journal and conference articles in computer science and engineering and has been awarded two U.S. patents.