One of only two Iowa State researchers named to honor It’s all about reliability and predictability of systems with Kristin-Yvonne Rozier’s Laboratory for Temporal Logic. Her work with advanced automated reasoning techniques – algorithms and tools that filter what we want vs. what we don’t want, that can apply to things like security systems and … Continue reading Aerospace Engineering’s Rozier receives Black and Veatch Building a World of Difference in Engineering Fellowship