CUFinder

Edmund Robinson

About Edmund Robinson

Edmund Robinson, With an exceptional h-index of 16 and a recent h-index of 8 (since 2020), a distinguished researcher at Queen Mary University of London, specializes in the field of Computer Science, semantics, logic, category theory.

His recent articles reflect a diverse array of research interests and contributions to the field:

Categorical Proof-Theoretic Semantics

Proof-theoretic semantics in sheaves

Bisimulation as a logical relation

Kripke semantics for intuitionistic Łukasiewicz logic

Kripke Semantics for Intuitionistic Lukasiewicz Logic

Edmund Robinson Information

University

Position

Professor of Computer Science

Citations(all)

1397

Citations(since 2020)

248

Cited By

1219

hIndex(all)

16

hIndex(since 2020)

8

i10Index(all)

23

i10Index(since 2020)

8

Email

University Profile Page

Google Scholar

Edmund Robinson Skills & Research Interests

Computer Science

semantics

logic

category theory

Top articles of Edmund Robinson

Categorical Proof-Theoretic Semantics

Studia Logica

2024/1/31

Proof-theoretic semantics in sheaves

2022/6/19

Eike Ritter
Eike Ritter

H-Index: 12

Edmund Robinson
Edmund Robinson

H-Index: 7

Bisimulation as a logical relation

Mathematical Structures in Computer Science

2022/4

Claudio Hermida
Claudio Hermida

H-Index: 9

Uday Reddy
Uday Reddy

H-Index: 9

Edmund Robinson
Edmund Robinson

H-Index: 7

Kripke semantics for intuitionistic Łukasiewicz logic

Studia Logica

2021/4

Edmund Robinson
Edmund Robinson

H-Index: 7

Kripke Semantics for Intuitionistic Lukasiewicz Logic

Studia Logica: an international journal for symbolic logic

2020

See List of Professors in Edmund Robinson University(Queen Mary University of London)