ProfessorsProfessors of Australian National UniversityRanald Clouston

Ranald Clouston

Australian National University

H-index: 11

Oceania-Australia

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:

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

Modal dependent type theory and dependent right adjoints

Ranald Clouston Information

University	Australian National 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	Access Email
University Profile Page	Australian National University
Google Scholar	View Google Scholar Profile

Ranald Clouston Skills & Research Interests

Logic

Semantics

Type Theory

Top articles of Ranald Clouston

Title	Journal	Author(s)	Publication Date
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)		Véronique Cortier Anuj Dawar Artur Jeż Delia Kesner Eduardo Bonelli ...	2020
Modal dependent type theory and dependent right adjoints	Mathematical Structures in Computer Science	Lars Birkedal Ranald Clouston Bassel Mannaa Rasmus Ejlers Møgelberg Andrew M Pitts ...	2020/2