Tarmo Uustalu on Tallinna Tehnikaülikooli Küberneetikainstituudi juhtivteadur ning TTÜ Arvutiteaduse Instituudi professor. Tarmo Uustalu teaduslikud huvid on mitmekesised: struktuurne tõestusteooria ja tüübiteooria, algebraline ja kategoorne loogika, programmikeelte semantika, programmiloogikad, funktsionaalprogrammeerimine, programmide teisendamine ja konstrueerimine, modaalloogika arvutusteaduslikud rakendused.

Tunnustatud teadur on avaldanud 94 teaduspublikatsiooni, on Eesti Teaduste Akadeemia liige, Federation for Information Processing liige, Association for Computing Machinery liige, Eesti Infotehnoloogia Seltsi liige. Ta on valitud aastatel 2010 ja 2011 Tallinna Tehnikaülikooli aasta teadlaseks, aastatel 2008 – 2009 on ta saanud 2. – 3. koha parima publikatsiooni konkursil ja 2002. aastal saanud Boris Tamme stipendiumi.