Jay Halcomb

Jay Halcomb

Partner,

H&S Information Systems

California, USA.

My background is in logic, mathematics and philosophy, and in computer science as a programmer. I am particularly interested in theorem provers.

...(Jay, at your convenience, please expand on this namesake page of yours so that the community can get to know you better. Welcome! =ppy)