UT’s Texas Institute for Electronics awarded $840M for tech research and development