I recently transferred to Ames from NASA Langley Research Center. I have been at NASA since 1988 when I was hired as a member of the formal methods research team then forming at Langley.
Before going to NASA I was at General Electric Corporate Research and Development Center in Schenectady New York. At GE-CRD I worked in a silicon compiler group and worked on formal verification of digital hardware.
Before going to GE-CRD I worked at Phoenix Data Systems, a VLSI CAD tool company based in Albany N.Y.