- 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;The University of Texas at Austin, Computer Science Department, 1999 - 2002
- 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).
- 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.