Skip to content

Scientist · Computer Science

Carlo A. Furia

Università della Svizzera italiana, Lugano, Switzerland

iD0000-0003-1040-3201

Citations, last 5 years: 117
Works, last 5 years: 49
h-index: 27
Citations, all time: 2 690
In Computer Science: #93,604

Research topics

Formal Methods in Verification134Computer Science
Logic, programming, and type systems127Computer Science
Software Testing and Debugging Techniques91Computer Science
Software Engineering Research73Computer Science
Software Engineering Techniques and Practices38Computer Science

Recent works

Discussion

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

Start a discussion