News

Zurück
21.10.2021 | Verteilte Systeme

Nguy­en Van Thao suc­cess­ful­ly de­fends his PhD the­sis

On Thursday 21st, 2021 Nguyen Van Thao defended via Zoom his PhD thesis "Formal Verification For ALICA Plans".

 

We wish him all the best for his future projects.