Alban Ponse
Scholar

Alban Ponse

Google Scholar ID: v709bGQAAAAJ
Guest Researcher, Informatics Institute, University of Amsterdam
Theoretical Computer ScienceProcess AlgebraProgram and Thread AlgebraShort-Circuit Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
387
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
6
list available
Publications
1 items
Fully Evaluated Left-Sequential Logics
arXiv.org · 2024
Cited
0
Resume
Research Experience
  • Guest researcher at the TCS group of the Informatics Institute, Faculty of Science, University of Amsterdam (UvA) since May 2022.
Background
  • Since May 2022, I am a guest researcher at the TCS group of the Informatics Institute, Faculty of Science, University of Amsterdam (UvA).
Co-authors
5 total
Jan Aldert Bergstra
Jan Aldert Bergstra
professor of informatics, Institute of Informatics, University of Amsterdam NL
Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Scott A. Smolka
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Maarten de Rijke
Maarten de Rijke
University of Amsterdam & ICAI
Wan Fokkink
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam