Skip to main content

Vijay Garg and Himanshu Chauhan Receive Best Paper at RV'17

Texas ECE Professor Vijay Garg and his former PhD student Himanshu Chauhan received the Best Paper Award at the International Conference on Runtime Verification 2017 (RV’17), held September 13th–16th in Seattle, Washington. The Runtime Verification event originated as a workshop in 2001, and is now an international conference, held annually since 2010. The award recognizes their paper “Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.”

Texas Engineers and Scientists to Launch $15.6 Million Center for Materials Research

Researchers in the Cockrell School of Engineering and the College of Natural Sciences at The University of Texas at Austin have received a $15.6 million grant from the National Science Foundation (NSF) to discover and advance new types of materials for use in many applications including energy storage, medical devices and information processing.

Herb Krasner Helps Pass House Bill 3275 and Texas Cybersecurity Act to Streamline State IT Capabilities

This bill is the first step in a broader strategy to improve the acquisition of IT capabilities across all state agencies. This will allow the state to become more efficient, effective, transparent, accountable, less wasteful and continue to provide excellent services to the citizens of Texas. 

Subscribe to