National Institute of Aerospace
Computer Scientist
Research Analysis and Maintenance, Inc.
Software Engineer, DBA, SA
American Compter Technology
Senior Software Engineer
Unisys
Software Engineer
NASA Langley Research Center
Research Compter Engineer
Syscon Justice Systems
computer programmer
National Institute of Aerospace
Postdoctoral Associate
UIUC
Visiting scholar
Specification, Refinement, and Verification Summer School
Marktoberdorf Summer School
University of Pennsylvania