Developed business opportunities and contributed to internal process improvement for this LA economic development enterprise.

While at ABC Virtual, I was a member of the Sr. Management Team, actively participated in three separate strategic planning retreats and, generally, was an opinion leader within the Company. Representative projects include: LERPnet - National repository for retail loss incidents for National Retail FederationIowa Land Records (ILR) - first-in-the-country, statewide portal for recorded land records, e.g., deeds, mortgages, liens, etc, for the Iowa County Recorders AssociationAffiliate Turndown Referral (ATR) - System integrating turndown leads from affiliate banks, automated dialer system and legacy system of record for consumer loans for Wells Fargo Financial.LIS Web Project - web front end for legacy loan processing system for Wells Fargo Home Mortgage.ECLoanPro (ECLP) - ECLP is an integrated system for capturing and processing mortgage loan applications and was the flagship software solution of ABC Virtual.

I developed curriculum, taught graduate and undergraduate courses, advised graduate students and conducted original research in both Software Engineering and natural Language Text Analysis. My most significant software engineering research was in the area of formal specification languages. As part of this research, I developed one formal specification language for C++, SPECS-C++ and, along with mycolleague Gary Leavens, designed a similar formal specification for Java, the Java Modeling Language (JML). I authored over 50 refereed conference and journal papers and successfully advised 5 Ph.D.students and over 30 M.S. Students.Representative refereed publications:with Tim Wahls and Gary T. Leavens, Executing Formal Specifications with Concurrent Constraint Programming, Automated Software Engineering, Vol. 7, 2000, pp 315 – 343.with Gary T. Leavens, Enhancing the Pre- and Postcondition Technique for More Expressive Specifications, Lecture Notes in Computer Science, 1999, pp 1087 – 1106.with Gary T. Leavens and Tim Wahls, Formal Semantics for SA Style Data Flow Diagram Specifications, Proceedings of the 1999 ACM Symposium on Applied Computing, 1999, pp 526 – 532.with Gary T. Leavens, Fasant Honavar, Steven LaValle and Gurpur Prabhu, Programming is Writing: Why Student Programs must be Carefully Read, Mathematics and Computer Education, Vol 32, 1998, pp 284 – 295.Text Analysis and Natural Language Database Systems, in Carl W. Roberts (ed), Text Analysis for the Social Sciences: Methods for Drawing Statistical Inferences for Texts and Transcripts, Lawrence Erlbaum Associates, Inc., 1997, pp 251 - 274.with David L. Coleman, Synthesizing Structured Analysis and Object-based Formal Specifications, Annals of Software Engineering. Vol 3, 1997, pp 221 – 253.with Gary T. Leavens and Clyde Ruby, Preliminary Design of JML: A Behavioral Interface Specification Language for Java, ACM SIGSOFT Software Engineering Notes, 1996, pp 1 – 38.