Ph.D., University of California, Berkeley 1979
Certificate in Artificial Intelligence, Lockheed Corp., 1983
Areas of Specialization in Teaching
Artificial Intelligence, Expert Systems, Automated Reasoning Systems, Introduction to Natural Language Processing, Introduction to Logics in Artificial Intelligence, Introduction to Logic Programming, Automata, Computability and Complexity Theory, Human-Computer Interaction, Cognitive Science, Formal Methods (using Z).
Other Areas of Competence in Teaching
Software courses including PASCAL, Modula-2, Lisp, Scheme, FORTRAN. Object-oriented Programming, Introduction to Data Structures, Introduction to Database Systems, HyperCard on Macintosh, Discrete Mathematics, Semantics for Programming Languages, Fuzzy Logic, Introduction to Computer Science, Software Architecture, Introduction to File Structures & Data Design.
- "Uncertainty modeling: the Computational Economists' view on Intelligent Cyberwarfare," peer-reviewed chapter in a book, Intelligent Methods for Cyberwarfare (Springer), 2014.
- "Learning Technologies," The International Journal of Technology, Knowledge and Society, Volume 1, Number 2, 2005/2006
I presented a talk with slides at a workshop on Replication, on January 7, 2016, at Mozilla Building in San Francisco, on Cybersecurity and Radical Uncertainty, organized by INET (Institute for New Economic Research) and Berkeley Institute for Transparency, a think tank.
The abstract has been posted in the Open Science Framework (OSF).