I am a doctoral student at Rensselaer Polytechnic Institute in Computer Science. My adviser and 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:

Top Questions
1 2

Top Answers
1 2 3 4