Pulse 탐색 nav.journalClub 토론 트렌드 연구자

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

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+K

Sebastian Junges | Synapse

SJ

Sebastian Junges

Formal Methods in Verification

Radboud University Nijmegen

About

Research focus

Formal Methods in Verification

Impact

209 pubs · 2,225 cites · h-index 22

Affiliations

Work Experience

Radboud University Nijmegen

2021 - Present

RWTH Aachen University

2012 - 2025

Berkeley College

2020 - 2021

University of California, Santa Cruz

2021 - 2021

University of California, Berkeley

2020 - 2021

Publications