CUFinder

Sebastian Ullrich

About Sebastian Ullrich

Sebastian Ullrich, With an exceptional h-index of 7 and a recent h-index of 7 (since 2020), a distinguished researcher at Karlsruher Institut für Technologie, specializes in the field of Interactive Theorem Proving, Program Verification.

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

An Extensible Theorem Proving Frontend

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language (Functional Pearl)

Tabled typeclass resolution

Sebastian Ullrich Information

University

Position

___

Citations(all)

329

Citations(since 2020)

297

Cited By

104

hIndex(all)

7

hIndex(since 2020)

7

i10Index(all)

7

i10Index(since 2020)

7

Email

University Profile Page

Google Scholar

Sebastian Ullrich Skills & Research Interests

Interactive Theorem Proving

Program Verification

Top articles of Sebastian Ullrich

An Extensible Theorem Proving Frontend

2023

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Logical Methods in Computer Science

2022/4/13

Sebastian Ullrich
Sebastian Ullrich

H-Index: 4

‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language (Functional Pearl)

Proceedings of the ACM on Programming Languages

2022

Sebastian Ullrich
Sebastian Ullrich

H-Index: 4

Tabled typeclass resolution

arXiv preprint arXiv:2001.04301

2020/1/13

Sebastian Ullrich
Sebastian Ullrich

H-Index: 4

See List of Professors in Sebastian Ullrich University(Karlsruher Institut für Technologie)