CUFinder

Karl Crary

Karl Crary

Carnegie Mellon University

H-index: 28

North America-United States

Contact Karl Crary

About Karl Crary

Karl Crary, With an exceptional h-index of 28 and a recent h-index of 13 (since 2020), a distinguished researcher at Carnegie Mellon University, specializes in the field of Programming languages, Logic, Type theory.

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

Verifying the hashgraph consensus algorithm

A focused solution to the avoidance problem

Karl Crary Information

University

Position

___

Citations(all)

4844

Citations(since 2020)

548

Cited By

4455

hIndex(all)

28

hIndex(since 2020)

13

i10Index(all)

52

i10Index(since 2020)

17

Email

University Profile Page

Google Scholar

Karl Crary Skills & Research Interests

Programming languages

Logic

Type theory

Top articles of Karl Crary

Title

Journal

Author(s)

Publication Date

Verifying the hashgraph consensus algorithm

arXiv preprint arXiv:2102.01167

Karl Crary

2021/2/1

A focused solution to the avoidance problem

Journal of Functional Programming

Karl Crary

2020/1

See List of Professors in Karl Crary University(Carnegie Mellon University)