Dhanashree Kulkarni

Dhanashree Kulkarni

Intel Technologies, Analog Engineer

University of Utah

Dhanashree worked on creating Labeled Petri Net(LPN) models of mixed signal circuits using LEMA, an in-house formal verification tool developed for analog and mixed-signal circuits. Dhanashree worked on developing a new property specification language and creating a property language translator that translates temporal properties to LPN format. Dhanashree at present works as an Analog Engineer with a non-volatile memory design group at Intel technologies.

Interests

  • Circuit Modeling
  • Circuit Design

Education

  • M.S. in Electrical and Computer Engineering, 2013

    University of Utah

Publications