Name:Sébastien Bardin

Country:France

Affiliation:CEA LIST, University Paris-Saclay

Research interests:Program Analysis; Formal Methods; Security; Software Engineering