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

René Rydhof Hansen | Synapse

RR

René Rydhof Hansen

Formal Methods in Verification

Aalborg University

About

Research focus

Formal Methods in Verification

Impact

133 pubs · 1,780 cites · h-index 22

Affiliations

Work Experience

Aalborg University

2007 - Present

Kiel University

1975 - 2024

Max Planck Institute for Evolutionary Biology

2024 - 2024

Embedded Systems (United States)

2009 - 2020

Danish Nature Agency

2013 - 2013

Publications