Skip to content

Scientist · Computer Science

Mário Pereira

Laboratório para a Ciência da Computação e Informática, Costa da Caparica, Portugal

iD0000-0003-4234-5376

Citations, last 5 years: 22
Works, last 5 years: 18
h-index: 5
Citations, all time: 106
In Computer Science: #251,344

Research topics

Logic, programming, and type systems45Computer Science
Formal Methods in Verification41Computer Science
Software Testing and Debugging Techniques22Computer Science
Teaching and Learning Programming8Computer Science
Distributed systems and fault tolerance7Computer Science

Recent works

Discussion

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

Start a discussion