CUFinder

Benjamin Werner

About Benjamin Werner

Benjamin Werner, With an exceptional h-index of 22 and a recent h-index of 11 (since 2020), a distinguished researcher at École Polytechnique, specializes in the field of Logic, computer science, type theory, formal proofs, Coq.

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

On the definition of the eta-long normal form in type systems of the cube

A constructive proof of Skolem theorem for constructive logic

A drag-and-drop proof tactic

Benjamin Werner Information

University

Position

Professeur Computer Science

Citations(all)

2483

Citations(since 2020)

450

Cited By

2313

hIndex(all)

22

hIndex(since 2020)

11

i10Index(all)

29

i10Index(since 2020)

12

Email

University Profile Page

Google Scholar

Benjamin Werner Skills & Research Interests

Logic

computer science

type theory

formal proofs

Coq

Top articles of Benjamin Werner

On the definition of the eta-long normal form in type systems of the cube

arXiv preprint arXiv:2307.00854

2023/7/3

Benjamin Werner
Benjamin Werner

H-Index: 11

A constructive proof of Skolem theorem for constructive logic

arXiv preprint arXiv:2305.10016

2023/5/17

Benjamin Werner
Benjamin Werner

H-Index: 11

A drag-and-drop proof tactic

2022/1/17

Benjamin Werner
Benjamin Werner

H-Index: 11

See List of Professors in Benjamin Werner University(École Polytechnique)

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