Skip to content

Scientist · Computer Science

Răzvan Diaconescu

IMAR - Institutul de Matematică „Simion Stoilow” al Academiei Române, Bucharest, Romania

iD0000-0002-8178-9538

Citations, last 5 years: 21
Works, last 5 years: 30
h-index: 24
Citations, all time: 2 103
In Computer Science: #255,880

Research topics

Advanced Algebra and Logic97Computer Science
Logic, programming, and type systems71Computer Science
Logic, Reasoning, and Knowledge71Computer Science
Advanced Topology and Set Theory33Mathematics
Formal Methods in Verification26Computer Science

Recent works

Discussion

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

Start a discussion