Skip to content

Scientist · Computer Science

Adrien Pommellet

École Pour l'Informatique et les Techniques Avancées, Le Kremlin-Bicêtre, France

iD0000-0001-5530-152X

Citations, last 5 years: 49
Works, last 5 years: 14
h-index: 6
Citations, all time: 79
In Computer Science: #171,176

Research topics

Formal Methods in Verification23Computer Science
semigroups and automata theory22Computer Science
Logic, programming, and type systems13Computer Science
Logic, Reasoning, and Knowledge4Computer Science
Embedded Systems Design Techniques3Computer Science

Recent works

Discussion

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

Start a discussion