Skip to content

Scientist · Computer Science

Maurizio Proietti

Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti, Rome, Italy

iD0000-0003-3835-4931

Citations, last 5 years: 41
Works, last 5 years: 28
h-index: 23
Citations, all time: 1 663
In Computer Science: #188,902

Research topics

Logic, programming, and type systems180Computer Science
Logic, Reasoning, and Knowledge134Computer Science
Formal Methods in Verification98Computer Science
Software Testing and Debugging Techniques47Computer Science
Model-Driven Software Engineering Techniques38Computer Science

Recent works

Discussion

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

Start a discussion