| http://www.w3.org/ns/prov#value | - s, teaching mainly software engineering, Java, discrete mathematics, and data bases.Her research was primarily in the field of formal methods at USC Information Sciences Institute and the MCC Austin research consortium.She worked with NASA at Langley and Johnson centers in research and technology transfer and at the National Science Foundation as a Division Director, continuing to serve as a revie
|
