Academic Record

POSITION

EDUCATION

  Thesis:  Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation