Inicio
Explorar
nav.journalClub
Tendencias
Más
Synapse
⌘+K
Synapse
Idioma
Español
Español
Thomas Dillig | Synapse
TD
Thomas Dillig
Logic, programming, and type systems
The University of Texas at Austin
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
37 pubs · 1,751 cites · h-index 23
Affiliations
The University of Texas at Austin
William & Mary
University College London
See all
Publications