Burak Ekici

Universität Innsbruck

H-index: 5

Europe-Austria

About Burak Ekici

Burak Ekici, With an exceptional h-index of 5 and a recent h-index of 3 (since 2020), a distinguished researcher at Universität Innsbruck, specializes in the field of Computational Effects, Formal Proofs, Formal Languages, Functional Programming.

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

Formal Verification of Bit-Vector Invertibility Conditions in Coq

A Sound Definitional Interpreter for a Simply Typed Functional Language

Formal categorical reasoning

Mac Lane’s comparison theorem for the Kleisli construction formalized in Coq

Burak Ekici Information

University	Universität Innsbruck
Position	___
Citations(all)	175
Citations(since 2020)	125
Cited By	101
hIndex(all)	5
hIndex(since 2020)	3
i10Index(all)	3
i10Index(since 2020)	2
Email	Access Email
University Profile Page	Universität Innsbruck
Google Scholar	View Google Scholar Profile