Robert Krug

About Me

I am part of the ACL2 group.

I will expand this page shortly.

To Contact Me

POSTAL	Computer Sciences C0500
	TAY 2.124, U.T. Austin
	Austin TX 78712 USA

VOICE	+1 512.471.7316 (main office)
	+1 512.471.9752 (my office)

FAX	+1 512.471.8885