Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
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

ICSE 2020-profile
View general profile