Loganathan Lingappan is a researcher at Intel Corporation. He is currently working on formal validation techniques for Test Programs and extending them to other Software and Hardware designs. His other interests involve exploring SMT-based approaches for test and diagnosis and functional programming.
Loganathan Lingappan received the B.Tech. degree in electrical engineering from the Indian Institute of Technology, Madras, India, in 2001, and the M.A. and Ph.D. degrees in electrical engineering from Princeton University, Princeton, NJ, in 2003 and 2006, respectively. He served as a Technical Program Committee Member of the International Conference on VLSI Design (2009, 2010).