Name:Crystal Chang Din

Country:Norway

Affiliation:University of Bergen

Research interests:Formal methods, Software verification, Program analysis, Concurrency