Skip to content

Scientist · Computer Science

Didier Verna

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

iD0000-0002-6315-052X

Citations, last 5 years: 13
Works, last 5 years: 28
h-index: 5
Citations, all time: 168
In Computer Science: #299,606

Research topics

Logic, programming, and type systems51Computer Science
Software Engineering Research17Computer Science
Graphic Design and Typography17Arts and Humanities
Parallel Computing and Optimization Techniques15Computer Science
Mathematics, Computing, and Information Processing15Computer Science

Recent works

Discussion

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

Start a discussion