Roy Dyckhoff

Roy Dyckhoff

University of St Andrews

H-index: 23

Europe-United Kingdom

About Roy Dyckhoff

Roy Dyckhoff, With an exceptional h-index of 23 and a recent h-index of 11 (since 2020), a distinguished researcher at University of St Andrews, specializes in the field of Computational logic, category theory, proof theory.

Roy Dyckhoff Information

University

Position

Hon. Senior Lecturer

Citations(all)

1986

Citations(since 2020)

460

Cited By

1742

hIndex(all)

23

hIndex(since 2020)

11

i10Index(all)

41

i10Index(since 2020)

12

Email

University Profile Page

University of St Andrews

Google Scholar

View Google Scholar Profile

Roy Dyckhoff Skills & Research Interests

Computational logic

category theory

proof theory

See List of Professors in Roy Dyckhoff University(University of St Andrews)

Co-Authors

H-index: 39
Nissim Francez

Nissim Francez

Technion - Israel Institute of Technology

H-index: 37
Walter Tholen

Walter Tholen

York University

H-index: 28
Mehrnoosh Sadrzadeh

Mehrnoosh Sadrzadeh

University College London

H-index: 28
Sara Negri

Sara Negri

Università degli Studi di Genova

H-index: 27
Christian Urban

Christian Urban

King's College London

academic-engine