CUFinder

Ranald Clouston

About Ranald Clouston

Ranald Clouston, With an exceptional h-index of 11 and a recent h-index of 8 (since 2020), a distinguished researcher at Australian National University, specializes in the field of Logic, Semantics, Type Theory.

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

Modal dependent type theory and dependent right adjoints

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

Ranald Clouston Information

University

Position

Lecturer

Citations(all)

604

Citations(since 2020)

328

Cited By

453

hIndex(all)

11

hIndex(since 2020)

8

i10Index(all)

15

i10Index(since 2020)

7

Email

University Profile Page

Google Scholar

Ranald Clouston Skills & Research Interests

Logic

Semantics

Type Theory

Top articles of Ranald Clouston

Modal dependent type theory and dependent right adjoints

Mathematical Structures in Computer Science

2020/2

Lars Birkedal
Lars Birkedal

H-Index: 28

Ranald Clouston
Ranald Clouston

H-Index: 9

Andrew M Pitts
Andrew M Pitts

H-Index: 21

Bas Spitters
Bas Spitters

H-Index: 16

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

2020

Véronique Cortier
Véronique Cortier

H-Index: 24

Anuj Dawar
Anuj Dawar

H-Index: 17

Artur Jeż
Artur Jeż

H-Index: 14

Eduardo Bonelli
Eduardo Bonelli

H-Index: 7

Roberto Maieli
Roberto Maieli

H-Index: 3

Dana Angluin
Dana Angluin

H-Index: 27

Orna Kupferman
Orna Kupferman

H-Index: 26

Paul Brunet
Paul Brunet

H-Index: 7

Anupam Das
Anupam Das

H-Index: 2

Robert Harper
Robert Harper

H-Index: 4

Yijia Chen
Yijia Chen

H-Index: 9

Robin Cockett
Robin Cockett

H-Index: 15

Alessio Mansutti
Alessio Mansutti

H-Index: 6

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Tim Lyon
Tim Lyon

H-Index: 4

Alwen Tiu
Alwen Tiu

H-Index: 15

Ranald Clouston
Ranald Clouston

H-Index: 9

Martin Zimmermann
Martin Zimmermann

H-Index: 11

Paweł Parys
Paweł Parys

H-Index: 11

Robert Passmann
Robert Passmann

H-Index: 3

Martin Ziegler
Martin Ziegler

H-Index: 25

José Espírito Santo
José Espírito Santo

H-Index: 5

Jonas Schmidt
Jonas Schmidt

H-Index: 1

Thomas Schwentick
Thomas Schwentick

H-Index: 23

Ioannis Kokkinis
Ioannis Kokkinis

H-Index: 5

See List of Professors in Ranald Clouston University(Australian National University)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine