Name:Marco Campion

Country:France

Affiliation:Sorbonne Université

Research interests:Program Analysis, Abstract Intepretation, Program Verification, Computability, Formal Languages