Skip to content

Scientist · Computer Science

Emanuele De Angelis

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

iD0000-0002-7319-8439

Citations, last 5 years: 59
Works, last 5 years: 26
h-index: 11
Citations, all time: 443
In Computer Science: #153,184

Research topics

Logic, programming, and type systems53Computer Science
Formal Methods in Verification53Computer Science
Software Testing and Debugging Techniques38Computer Science
Logic, Reasoning, and Knowledge23Computer Science
Software Engineering Research6Computer Science

Recent works

Discussion

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

Start a discussion