Patrick Cousot

Courant Institute of Mathematical Sciences

USFormal Methods in Verification
No reviews yetBe the first verified researcher to review this PI
No reviews yet

Be the first verified researcher to review this PI

Patrick Cousot is a Principal Investigator at Courant Institute of Mathematical Sciences whose research focuses on Formal Methods in Verification. No verified researcher has shared their experience working with this PI yet. Be the first to help future researchers by sharing an anonymous, verified review.

Help future researchers while staying anonymous.