Skip to content

Scientist · Computer Science

François Pottier

Institut national de recherche en sciences et technologies du numérique, Le Chesnay-Rocquencourt, France

iD0000-0002-4069-1235

Citations, last 5 years: 101
Works, last 5 years: 17
h-index: 30
Citations, all time: 2 570
In Computer Science: #105,085

Research topics

Logic, programming, and type systems115Computer Science
Formal Methods in Verification61Computer Science
Security and Verification in Computing27Computer Science
Teaching and Learning Programming24Computer Science
Syntax, Semantics, Linguistic Variation20Arts and Humanities

Recent works

Discussion

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

Start a discussion