Professional Background

Bell Laboratories, Computing Sciences Research Center, 2000-2001
- Conducted research and development on the integration of xUML software design modeling with model checking. I was working in the FormalCheck (currently at Cadence) group;
- Conducted research on the integration of white-box testing and model checking for analysis of errors reported by model checkers. Joint work with Doron Peled (currently at University of Warwick).
The University of Texas at Austin, Computer Science Department, 1999 - 2002
- Worked as a member of the ObjectCheck group that developed tools for automatic and efficient model checking of xUML designs.

The University of Texas at Austin, Robotics Research Group, 1996 - 2000

- Directed testing and formal verification of control software to operate robotic manipulators: project sponsored by NASA for Advanced Development of Space Robotics, with emphasis on Fault Tolerance.

Microelectronics and Computer Technology Corporation (MCC), summer of 1998

- Used Quest (Quality Enabling Software Technology) for testing of NASA robot control software.


Natasha Sharygina
Last modified: Fri Nov 19 10:59:54 EST 2004