Subir K. Roy got his B.E., M.Tech. and Ph.D. degrees from University of Pune, IIT Madras and IIT Bombay in 1982, 1984 and 1993, respectively. Prior to 1993 he worked in Semiconductor Complex Limited, Chandigarh and the VLSI Design Centre, Department of Computer Science and Engineering, IIT Bombay. From 1993 to 2001 he was with the faculty of Electrical Engineering, IIT Kanpur. From 2001 to 2003 he was with Synplicity Inc, Sunnyvale USA & Bangalore. From April 2004 to January 2013 he was with the Center of Excellence, System on Chip, Texas Instruments India, Bangalore. He spent 2 years from 1998 to 2000 carrying out research on formal verification in Fujitsu Laboratories Limited, Kawasaki, Japan, on a sabbatical from IIT Kanpur. His research interests are in hardware formal verification, power estimation, performance analysis, CAD for VLSI and embedded systems.