Susan L. Gerhart

Websites:

• "As Your World Changes" blog on adjusting to vision loss using technology
• apodder.org, demonstration podcatcher for partially sighted users, and eyesight podcast library,
• Controversy Discovery engine for probing deeper and more diversely into Google
• NSF-funded Computer Security Education applets

Education

• B.A. Mathematics, Ohio Wesleyan University, Delaware Ohio, 1965. ,
• M.S. Communication Sciences, University of Michigan, 1967
• Ph.D., Computer science, Carnegie-Mellon University, 1973.

Employment

• Research Outlet and Integration, consulting, software development, socialentrepreneurship, Prescott AZ 2005-present.
  • Professional Reviewing for National Science Foundation and Science Foundation Arizona
  • "As Your World Changes" blog on assistive technology, web accessibility, and disability issues for adjusting to vision loss
  • Development and support for experimental @Podder podcatcher exploring speech-driven and "easy viewing" user interface (in Java)
  • Library of over 1000 podcasts on eyesight-related topics demonstrating @Podder collection and organization capabilities, also supporting data for blog topics
  • Controversy Discovery Engine experiment finding additional medical information by searching more deeply and diversely within Google
• 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 NSF funded computer security education project including buffer overflow and bio-terrorism applets
  • Summer course and research mentoring for Upward Bound and Math/Science Regional Center high school students
  • Summary of Teaching, Service, and Scholarly Activities
• Partner, ROI Joint Venture, January 1996-2000, Research Outlet and Integration
  • 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 browser in Javascript 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, widely cited and influential for U.S. and European technology transfer
• 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, Laszlo Belady,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, ATT, 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 School of Information Studies 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
• Software Research Associates, Los Angeles/San Francisco California. Technical Director, 1981-1982.
  • Consulting projects on testing and requirements methods, enhancements of verification systems.
• USE 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.
  • Developed research program in knowledge representation for and transformation of programs, software testing theory, and fallibility of programming methodology
  • Summer positions at Softech Inc., Waltham MA, 1974 and ICASE at NASA Langley, Newport VA, in 1975

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
• NSF Advisory Subcommittee on Computer Science,1980-1983.
• Argonne National Laboratory Committee on Mathematics/Computer Science, 1982-1988.
• Travis County Voting Machine Task Force, 1989.
• Texas Higher Education Coordinating Board, 1989 Chair of Math/Computing Funding Panel.
• National Research Council studies: Committee on Building Software Evaluation, 1986; Complex Software Systems, 1989; "Computers at Risk", 1990; Workshop on Information Technology Literacy, 1998.
• 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.
• `Women in Computer Science Career events: USC, 1978; UCLA, 1979; Aerospace Corporation, 1981; Austin Expanding Your Horizons, 1991; Leadership in Aviation and Engineering, Embry-Riddle, 2002.
• 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, podcast organization, and general web use

SelectedPublications

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

1. --. "Verification of APL Programs". Ph.D. thesis, Carnegie-Mellon University, 1972. also Assertions and APL programming. In APL Congress 75, Pisa, Italy, June 1975.
2. --. "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.
3. J. B. Goodenough and --. "Towards a theory of test data selection". IEEE Transactions on Software Engineering, SE-1(2), June 1975. (Also in 1975 International Conference on Reliable Software).
4. --. "Knowledge about programs: model and case study". In 1975 International Conference on Reliable Software, IEEE, Los Angeles CA, 1975.
5. -- and Larry Yelowitz. "Observations of fallibility in modern programming methodologies". IEEE Transactions on Software Engineering, SE-2(3), September 1976.
6. -- and Larry Yelowitz. "Control structure abstractions of the backtracking programming technique". IEEE Transactions on Software Engineering, SE-2(4), December 1976.
7. Anthony Wasserman, Laszlo Belady, --, Edward Miller, William Waite, and William Wulf. "Software engineering: the turning point". IEEE Computer, 11(9), September 1978.
8. Stanley Lee, Willem deRoever, and--. "The evolution of list-copying algorithms". In 6th Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979.
9. -- 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.
10. --. "Program validation". In Advanced Course on Computing Systems Reliability, Cambridge University Press, 1979.
11. --, David R. Musser, David H. Thompson, et al. "n overview of AFFIRM: a specification and verification system". In Information Processing 80, IFIP, Melbourne, Australia, October 1980.
12. Larry Yelowitz, ---. "A token ring protocol in Affirm", Workshop on Protocol Specification, Testing, and Verification, North-Holland, Idlywyld CA, May 1982.
13. 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.
14. --. "Software engineering perspectives on Prolog". TR-85-13, Wang Institute (delivered as professional tutorials)
15. --. "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.
16. --. "Skills versus knowledge in software engineering education". In Software Engineering Education: The Needs of the Software Community, Springer Verlag, 1987.
17. Sharon Smith and --. "STATEMATE and cruise control: a case2 study". In CompSac 88, IEEE Computer Society, 1988.
18. --. "A broad spectrum approach to testing, analysis, and verification". In 2nd Workshop on Testing, Analysis, and Verification, IEEE Computer Society, 1988.
19. 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).
    • --. "Formal Methods: an International Perspective", In 13th International Conference on Software Engineering, May 1991.
    • --. Guest editor's introduction. IEEE Software Special Issue on Virtuoso Software, September 1990.
    • Ted Ralston and --. "Formal Methods: History, Practice, Trends, and Prognosis",American Programmer, May 1991.
    • ----. "The MCC Formal Methods Transition Study: Technology Transfer for Complex Information Technology and Processes". IFIP/SEI working conference on Technology Transfer, October 1993.
20. 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: Z User Workshop, Springer >Verlag Workshops in Computing, 1992; Industrial Applications (Formal Methods Europe), 1993; International Conference on Software Engineering, Baltimore, 1993
    • "Experience with Formal Methods in Critical Systems + Regulatory Case Studies", IEEE Software, 1994.
    • "Formal Methods: Reality Check" , IEEE Transactions on Software Engineering, February 1995.
    • Reprinted in High-Integrity System Specification and Design, eds. J. Bowen and M. Hinchey, Springer FACIT series, 1999. Also in Formal Methods Technology Transfer: Impediments and Innovations, Case Studies of Industrial Applications of Formal Methods, eds. J. Bowen and M. Hinchey, Addison-Wesley, 1995
21. "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.
22. "IT For the Solo Information Professional", National Academy of Sciences Workshop on Information Technology Literacy, January 1998.
23. Forward to Proceedings, Science and Engineering for software Development: A Recognition of Harlan D. Mills' Legacy, May 1999
24. "Topics and Collections: An alternative metaphor for using the Web", FreePint Issue #56, Feb. 2000
25. 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. Includes modules on buffer overflows, cryptography, dimensions of security, and bio-terrorism 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 Jed Crandall and Jan Hogle, National Conference on Information Assurance Education, 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.
    • With Robin Sobotta, , Training module on "Bioterrorism Defense for Multimodal Transportation Systems"
26. "Do Search Engines Suppress Controversy?",
    • Website with experiment data , October 2003
    • in First Monday, January, 2004.
    • Experimental Controversy Discovery Engine derived from this work
27. with Linda Hooper, "Taking Students down new paths: research mentoring for Upward Bound students", March 7, 2005, Westop (Western Association of Education Opportunity Personnel)