Skip to content

Scientist · Computer Science

Valerio Senni

Collins Aerospace (United States), Charlotte, United States

iD0000-0002-1131-0384

Citations, last 5 years: 100
Works, last 5 years: 19
h-index: 9
Citations, all time: 353
In Computer Science: #105,859

Research topics

Logic, programming, and type systems59Computer Science
Formal Methods in Verification52Computer Science
Logic, Reasoning, and Knowledge43Computer Science
Model-Driven Software Engineering Techniques11Computer Science
Information and Cyber Security10Computer Science

Recent works

Discussion

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

Start a discussion