Pulse Entdecken nav.journalClub Debatten Trends Forschende

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

Thao Dang | Synapse

TD

Thao Dang

Formal Methods in Verification

Esslingen University of Applied Sciences

About

Research focus

Formal Methods in Verification

Impact

161 pubs · 6,735 cites · h-index 39

Affiliations

Work Experience

Esslingen University of Applied Sciences

2021 - 2025

University of Arizona

2025 - 2025

The University of Texas at Arlington

2024 - 2025

Institut polytechnique de Grenoble

2024 - 2024

Centre National de la Recherche Scientifique

2006 - 2024

Publications