Thomas A. Henzinger

Institute of Science and Technology Austria

Computer Science

ATFormal 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

Thomas A. Henzinger is a Principal Investigator at Institute of Science and Technology Austria whose research focuses on Formal Methods in Verification in Computer Science. 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.