Home > Proving, Verification, Deduction Expert #3107
North Carolina Proving, Verification, Deduction Expert #3107
I have 36 years of experience, and specialize in the field of computer science with specific knowledge in the areas of inference, verification and proving.