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

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

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+K

Jónathan Heras | Synapse

JH

Jónathan Heras

Logic, programming, and type systems

Universidad de La Rioja

About

Research focus

Logic, programming, and type systems

Impact

167 pubs · 2,086 cites · h-index 20

Affiliations

Work Experience

Universidad de La Rioja

2008 - Present

Florida International University

2024 - 2024

University of the Basque Country

2014 - 2023

Universidad Internacional De La Rioja

2016 - 2022

University of Dundee

2012 - 2014

Publications