 Texas A&M University | Dos Reis receives NSF CAREER Award Texas A&M University Dr. Gabriel Dos Reis, assistant professor in the Department of Computer Science and Engineering, received the National Science Foundation (NSF) CAREER award for his continuing investigation of formal-methods-based principles and tools to make the ... |
