PhD defence
PhD Defence student Ayman Hussein
“Fair Join Pattern Matching for Actors”
PhD Defence by student Ayman Hussein
“Fair Join Pattern Matching for Actors”
Friday 4th of September, at 13:30
Building 305, Auditorium 005
The Technical University of Denmark,
2800 Kongens Lyngby
Principal supervisor:
Associate Professor Alceste Scalas, DTU Compute
Co-supervisor:
Professor Sebastian Alexander Mödersheim, DTU Compute
Examiners:
Associate Professor Hubert Baumeister, DTU Compute
Professor Marco Carbone, IT University of Copenhagen
Dr. Laura Bocchi, University of Kent
Chairperson at defence:
Associate Professor Hugo-Andrés López-Acosta, DTU Compute
For online participation, please use the following link:
https://dtudk.zoom.us/j/64426205953?pwd=nljsvUuERA1JN6r81IaxCdPb2b83gM.1
A copy of the PhD thesis is available for reading at the department
Everyone is welcome