Vikas Rao, PhD completed Summer 2021. Currently working at Synopsys as Staff R&D Engineer, VC Formal Group.

Dissertation Title: Rectification of Arithmetic Circuits using Computer Algebra Techniques.

Utkarsh Gupta - PhD completed Spring 2020. Currently working at Apple, as Formal Verification Engineer.

Dissertation title: Rectification of Finite Field Arithmetic Circuits with Craig Interpolation using Algebraic Geometry

Arpitha Rao, MS thesis completed Summer 2019. Currently working as Product Engineer at Micron Emerging Memory Group.

Xiaojun Sun - PhD completed Spring 2017. Currently working at Candence Design Systems in San Jose, CA.

Tim Pruss - PhD Completed Summer 2015. Currently working at Apple as Formal Verification Engineer in Cupertino, CA.

Dissertation Title: Word-Level Abstraction from Combinational Circuits using Algebraic Geometry.

Lawrence Schlitt - MS Thesis completed May 2013. Currently working at Northrup Grumman.

Thesis Title: Thermal Characterization Abstraction for Integrated Optoelectronics.

Chris Condrat: PhD completed Dec 2013, BS/MS 2007. Currently working at Calypto Design Systems, Catapult-C High-Level Synthesis Group, Portland, OR.

Jinpeng Lv: PhD completed July 2012. Currently working at Cadence, Conformal Verification Group.

Dissertation Title: Scalable Formal Verification of Finite Field Arithmetic Circuits using Computer Algebra Techniques

Sivaram Gopalakrishnan - MS 2004, PhD Summer 2008. Senior R & D Engineer, Synopsys, Formality Group, Hillsboro, OR.

Dissertation Title: High-Level Synthesis of Polynomial Datapaths using Finite Integer Algebras.

Namrata Shekhar - PhD, Completed Aug 2007. Senior R & D Engineer, Synopsys, Formality Group, Marlborough, MA.

Dissertation Title: Equivalence Verification of Arithmetic Datapaths using Finite Ring Algebra.

Vijay Durairaj - ME 2004, PhD summer 2008. Senior R & D Engineer, Synopsys ESP Group .

Dissertation topic: Improving SAT Solving by Analyzing Constraint-Variable Dependencies.