Contact Us Our Contact Details Email Have any questions or comments about R2U2? Send them to our email, or visit our other links for more information about the lab. kyrozier@iastate.edu Laboratory of Temporal Logic Iowa State Aerospace Engineering Laboratory of Temporal Logic Laboratory for Temporal LogicIowa State University0328 Howe HallAmes, IA 50011