101 reputation
3
bio website cs.rpi.edu/~tayloj
location Rome, NY
age 30
visits member for 9 months
seen 2 days ago

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:


This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags

9 Votes Cast

all time   by type  
9 up 2 question
0 down 7 answer