Pulse Explorar nav.journalClub Debates Tendências Pesquisadores

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

Download on theApp Store

Início Explorar nav.journalClub Tendências

⌘+K

David Gen�s | Synapse

DG

David Gen�s

Security and Verification in Computing

University of Maryland, College Park

About

Research focus

Security and Verification in Computing

Impact

59 pubs · 3,089 cites · h-index 25

Affiliations

Work Experience

University of Maryland, College Park

2024 - 2024

University of California, Irvine

2020 - 2023

University of California System

2020 - 2022

Technical University of Darmstadt

2015 - 2019

University of Maryland, Baltimore

1988 - 2014

Publications