Skip to content

Scientist · Computer Science

Cyril Cohen

CASH: Compilation et Analyse, Logiciel et Matériel, Villeurbanne, France

iD0000-0003-3540-1050

Citations, last 5 years: 38
Works, last 5 years: 22
h-index: 14
Citations, all time: 990
In Computer Science: #196,589

Research topics

Logic, programming, and type systems60Computer Science
Formal Methods in Verification40Computer Science
Polynomial and algebraic computation24Computer Science
Mathematics, Computing, and Information Processing18Computer Science
Advanced Algebra and Logic8Computer Science

Recent works

Discussion

Ask Cyril about their research. When the scientist claims this card, they will see your question.

Start a discussion