Kaushal is a Staff Engineer in the DVT Formal Verification Group for Mentor, A Siemens Business. He is responsible for developing GUI for Questa Formal. Kaushal earned his B.Tech in Computer science from Karnataka University in India in 1996. He has been involved in GUI development for more than 20 years and has previously worked for Cadence, Synopsys and Montrey Design Systems.