Name:Berk Cirisci

Country:France

Affiliation:IRIF, University Paris Diderot and CNRS, France

Research interests:Formal Verification and Testing, Distributed Computing, Concurrency Theory