Experience
Education
Bio
My credo is automated reasoning for data & knowledge base management.