Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Yongsan-gu, Seoul, South Korea
Emilio Jesús Gallego Arias

Registered user since Thu 9 Jun 2016

Name: Emilio Jesús Gallego Arias

Country: France

Affiliation: INRIA

Personal website: https://www.irif.fr/~gallego/

Research interests: theorem proving, functional programming, computer music


ICSE 2020Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track
Show activities from other conferences

Using general profile