Susan L. Gerhart
(August 2005)

Research Outlet and Integration, Prescott AZ 86301

Email: susan@apodder.org and susan@twurl.com
Websites: htp://nsfsecurity.pr.erau.edu and http://www.apodder.org and http://www.twurl.com

Education

B.A., Mathematics, Ohio Wesleyan University, Delaware Ohio.
M.S., Communication Sciences, University of Michigan, Ann Arbor Michigan.
Ph.D., Computer Science, Carnegie Mellon University, Pittsburgh PA

Employment

Research Outlet and Integration, consulting, software development, social entrepreneurship, Prescott AZ 2005-

Associate Professor of Computer Science and Software Engineering, Embry-Riddle Aeronautical University, Prescott, 2000-2005.

Teaching software engineering, discrete mathematics, Java programming practices, databases
Organizing and over-seeing student projects, most recently GPS-driven ROTC Group Leadership Training
Developing and evaluating interactive tools for teaching security concepts, disseminated on http://nsfsecurity.pr.erau.edu
Summer course and research mentoring for Upward Bound and Math/Science Regional Center high school students
Summary of Teaching, Service, and Scholarly Activities

Managing Partner, ROI Joint Venture, January 1996-1997, Research Outlet and Integration, 1996-

Developing a business concept and technology strategy for a WWW Information Professionals Toolset

Designed, implemented, and evaluated twURL, a Windows tool for organizing and analyzing WWW addresses and content

Elaborated a novel "browsing in context' model for Web navigation based on sets, trees, and decision support

Implemented 'twURLed World' showcase: webbed articles on software safety,web farming, information warfare, and techno-culture

Performed information brokering services based on above unique capabilities

Consulting: JAVA security policy testing for JavaSoft and Blackwatch Technology, a safety standards website for Underwriters Laboratories, due diligence for an investment firm, an interface for a licensed health marketing plan product

Director, RICIS (Research Institute for Computing and Information Systems), University of Houston - Clear Lake, 1993-1995.

Principal Investigator on NASA-UHCL cooperative agreement for applied research and technology transfer, with projects in electronic meeting rooms, software re-engineering, space debris, Global Change planning, Internet-based airline dispatcher training, digital libraries for software reuse and environmental information

Co-director, Institute for Space Systems Operations, a Texas state funded research initiation program
UHCL Representative to the Texas Space Grant Consortium

Director, Division of Computer and Computation Research, National Science Foundation, Washington, D.C. July 1992- June 1993.

Supervised over $35 million research programs in theory, software, and computer systems.
Initiated research activities in high performance computing and safety-critical systems.

President and Founder, 1992-1997. Applied Formal Methods, Inc., Austin and Houston Texas.

Co-investigated 12 cases of industrial applications of formal methods.

Microelectronics and Computer Technology Corporation (MCC), Software Technology Program, Austin Texas. Principal Member of the Technical Staff 1985--91, Senior Consultant to the Program Director, 1987-1990, Manager, Formal Methods project, 1990-1991.

Research in team design of complex, distributed systems. Technology assessment for advanced design systems and concepts. Explored multiple technology transfer models.
Directed Formal Methods Transition Studies (FMTS), a one-year collaborative series of surveys, assessments, and experiments evaluating new methods and tools for mathematically-based software production. $800,000 of industry/government funding from 13 major North American organizations: Andersen Consulting, AT&T, Bellcore, Bell Northern, Digital, Hughes, Kodak, MITRE, Motorola, NASA/JSC, Rockwell, Sematech.

Wang Institute of Graduate Studies, Tyngsboro MA. Professor of Information Technology, 1982-1985.

Developed curriculum and institutional operations for a professional degree program in Software Engineering at a professional school founded by Dr. An Wang.
Taught course units on models, methods and tools for: requirements analysis, software production, specification; testing, coding, design, and maintenance; validation and verification; user interfaces.
Technology transfer through tools workshops and Corporate Associate Program.
Researched application of software engineering methods to Prolog technology and vice versa.

Software Research Associates, Los Angeles/San Francisco California. Technical Director, 1981-1982.

Consulting projects on testing and requirements methods, enhancements of verification systems.

USC Information Sciences Institute, Marina del Rey California. Research Staff Member and Program Verification Project Leader, 1977-1981.

Project member and leader for the AFFIRM Specification and Verification System under DARPA funding.
Design, documentation, and training for AFFIRM.
Application experiments with formal specification and verification for communication protocols, secure operating systems, and data bases.

Assistant Professor of Computer Science, Duke University, 1973-1977. Visiting Assistant Professor of Computer Science, University of Toronto, 1972-1973.

Teaching undergraduate and graduate courses in computer science.

Professional Activities

Editorial Board, IEEE Software magazine, 1986-1990.
Guest Editor, Applications of Formal Methods, Special Issues of IEEE Software and IEEE Computer, September 1990.

Program Committees: Principles of Programming Languages, Specifications for Reliable Software, International Conferences on Software Engineering, Software Engineering Education, TAV (Testing, Analysis, and Verification), U.S.-U.K.-Canada Workshops on Applicability of Formal Methods for Trustworthy Systems, Workshop on Industrializing Formal Techniques (WIFT95), Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy

Advisory and Voluntary Activities

`Women in Computer Science Career Days': USC, 1978; UCLA, 1979; Aerospace Corporation, 1981; Austin Expanding Your Horizons, 1991
NSF Advisory Subcommittee on Computer Science,1980-1983.
Panels on NSF Computer and Information Science and Education Programs, 1984-.
Argonne National Laboratory Committee on Mathematics/Computer Science, 1982-1988.
Texas Higher Education Coordinating Board, 1989 Chair of Math/Computing Funding Panel.
National Research Council studies: Committee on Building Software Evaluation, 1986; Workshop on Complex Software Systems, 1989; Computer Security Study, "Computers at Risk", 1989-1990; Workshop on Information Technology Literacy, 1998.
Travis County Voting Machine Task Force, 1989.
US-ESPRIT international research collaboration opportunities and obstacles, Brussels 1990.
Computing Research Association Board, 1991.
ARPA Software Technology Senior Study Panel, and Panel on High Assurance Software, HPCC Forum, 1995.
Webmaster, Embry-Riddle satellite of AAUW Prescott Chapter of AAUW, co-organizer of Women Leadership Symposium, 2002.

Technical Interests

Technology assessment models - analytic frameworks, research methodology, and evaluation practice
Information representation for the WWW, evaluation of search engines, context-driven navigation
Logic programming as a tool for software engineering; theorem proving technology, system verification and validation.
User interface technology and information models for organizing complex WWW information.
Interactive tools for stimulating learning
Assistive technology for podcasting

Selected Publications

Journals, 11; Conferences, 30; In books, 9; Technical Reports, 30; Manuals, 3; Videotapes, 3; Book length reports, 2., Online journals, 1. See Publications Database and ResearchIndex (CiteSeer) citations

Best Paper in IEEE Transactions on Software Engineering, 1975.
Honorary Mention: Best Paper, IEEE Software, 1994

--. Verification of APL Programs. Ph.D. thesis, Carnegie-Mellon University, 1972. also Assertions and APL programming. In APL Congress 75, Pisa, Italy, June 1975.

--. Correctness-preserving program transformations. In 2nd Symposium on Principles of Programming Languages, ACM, Palo Alto CA, 1975.
also Proof theory of partial correctness verification systems. SIAM Journal of Computing, 5(3), September 1976.
J. B. Goodenough and --. Toward a theory of test data selection. IEEE Transactions on Software Engineering, SE-1(2), June 1975. (Also in 1975 International Conference on Reliable Software).
--. Knowledge about programs: a model and case study. In 1975 International Conference on Reliable Software, IEEE, Los Angeles CA, 1975.
-- and Larry Yelowitz. Observations of fallibility in modern programming methodologies. IEEE Transactions on Software Engineering, SE-2(3), September 1976.

-- and Larry Yelowitz. Control structure abstractions of the backtracking programming technique. IEEE Transactions on Software Engineering, SE-2(4), December 1976.
Anthony Wasserman, Laszlo Belady, --, Edward Miller, William Waite, and William Wulf. Software engineering: the turning point. IEEE Computer, 11(9), September 1978.
Stanley Lee, Willem deRoever, and --. The evolution of list-copying algorithms. In 6th Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979.
-- and David S. Wile. The delta experiment: specification and verification of a multiple-user file updating module. In Symposium on Specifications for Reliable Software, IEEE, Boston MA, April 1979.
--. Program validation. In Advanced Course on Computing Systems Reliability, Cambridge University Press, 1979.
--, David R. Musser, David H. Thompson, et al. An overview of AFFIRM: a specification and verification system. In Information Processing 80, IFIP, Melbourne, Australia, October 1980.
Larry Yelowitz, ---. A token ring protocol in Affirm, Workshop on Protocol Specification, Testing, and Verification, North-Holland, Idlywyld CA, May 1982.
Carl Sunshine, Roddy Erickson, --, Daniel Schwabe, and David H. Thompson. Specification and verification of communication protocols in AFFIRM using state transition models. IEEE Transactions on Software Engineering, SE-8(5):460--489, September 1982.
--. Software engineering perspectives on Prolog. TR-85-13, Wang Institute (delivered as professional tutorials)

--. Requirements for environments for analysts. In Workshop on Requirements for a Software Engineering Environment, University of Maryland UMIACS-TR-86-22. Also in Requirements for a Software Engineering Environment, M. V. Zelkowitz, editor, Ablex Publishing Company, 1989.
--. Skills versus knowledge in software engineering education. In Software Engineering Education: The Needs of the Software Community, Springer Verlag, 1987.
Sharon Smith and --. STATEMATE and cruise control: a case2 study. In CompSac 88, IEEE Computer Society, 1988.
--. A broad spectrum approach to testing, analysis, and verification. In 2nd Workshop on Testing, Analysis, and Verification, IEEE Computer Society, 1988.
--. Guest editor's introduction. IEEE Software, September 1990.
--. The MCC Software Technology Program. In IFIP Congress 89, 1989.
--. Formal Methods: an International Perspective. In 13th International Conference on Software Engineering, May 1991.
Ted Ralston and --. Formal Methods: History, Practice, Trends, and Prognosis. American Programmer, May 1991.
Kevin Greene, Mark Bouler, --, Damir Jamsek, Ted Ralston, and David Russinoff. FMTS Final Report (Executive Summary, Scenarios, Experiment, Directions), TR STP-FT-323-91 (P), MCC Software Technology Program, August 1991. (videotape). SpecTra0.1 and SpecTra0.2: Demonstration and Research Issues. TR STP-EI-329-90, MCC Software Technology Program, October 1990. (videotape).
----. The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes. IFIP/SEI working conference on Technology Transfer, October 1993.
Dan Craigen, ---, Ted Ralston. Case Studies of Industrial Applications of Formal Methods, 2 volumes, 1993 by NIST, NRL, and Atomic Energy Control Board of Canada (distributed electronically by NIST). Excerpts published in:
An International Survey of Industrial Applications of Formal Methods.
Z User Workshop, Springer Verlag Workshops in Computing, 1992. Formal Methods Reality Check: Industrial Applications (Formal Methods Europe, 1993.
Observations on Industrial Practice using Formal Methods International Conference on Software Engineering, Baltimore, 1993
Experience with Formal Methods in Critical Systems + Regulatory Case Studies, IEEE Software, 1994. Reprinted in High-Integrity System Specification and Design, eds. J. Bowen and M. Hinchey, Springer FACIT series, 1999.
Formal Methods: Reality Check, IEEE Transactions on Software Engineering, February 1995.
Formal Methods Technology Transfer: Impediments and Innovations, Case Studies of Industrial Applications of Formal Methods, eds. J. Bowen and M. Hinchey, Addison-Wesley, 1995
"Browsing in context", position paper for CHI97 Workshop on "Conceptual Analysis of the Web", March 1997
"Final Report, Browsing In Context", Office of Naval Research under Contract N00014-97-C-0108, Program Manager Dr. Helen Gigley, October 1997.
"IT For the Solo Information Professional", National Academy of Sciences Workshop on Information Technology Literacy, January 1998.
Forward to Proceedings and Panelist, Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy, May 1999
"Topics and Collections: An alternative metaphor for using the Web", FreePint Issue #56, Feb. 2000
NSF Cybersecurity Education Grant , with Jan Hogle, Richard Bloom, Matthew Jaffe, Paul Hriljac, Robin Sobotta

http://nsfsecurity.pr.erau.edu Website, Aug. 2002-. Animated demonstrations, instructional materials. Also includes modules on cryptography, dimensions of security, and bioterrorism defense in transportation systems
"Software Education and Research: Meet the Sims", ' with Paul Hriljac, Workshop on New Visions in Software Design and Productivity, Vanderbilt University, December 2001.
Driving Home the Buffer Overflow Problem, with Jedidiah Crandall and Jan Hogle, National Conference on Information Assurance Education 2002, June 2002, Redmond Washington. "Explaining the Buffer Overflow Problem: Instructional Evaluation", e-learn 2003, Phoenix, AZ, November 2003 Presentation and demo of buffer overflow testing at Practical Software Quality and Testing, May 2005.
Training module on "Bioterrorism Defense for Multimodal Transportation Systems", http://nsfsecurity.pr.erau.edu/MMBT

"Do Search Engines Suppress Controversy?",

Website with data and experimental "Controversy Discovery Engine", October 2003-
in First Monday, January, 2004.

with Linda Hooper, "Taking Students down new paths: research mentoring for Upward Bound students", March 7, 2005, Westop (Western Association of Education Opportunity Personnel)

Updated: August 4, .2005 at http://www.apodder.org/SLGer/SLGer-short-vita-2005.html