I am an artificial intelligence and knowledge engineer working in cyber-security research. Selmer Bringsjord (my PhD advisor) I are developing a textbook and software package for introductory and intermediate logic (propositional, first-order, and modal logics). I'm most active in Lisp and Semantic Web related topics, with tag badges for:

Non-tag badges: