Congratulations to Laura Kovács on her successful defence of habilitation thesis

laura_habilitation_thesisCongratulations to Laura Kovács on her successful defence of habilitation thesis
“Symbol Elimination in Program Analysis”
in Applied and Theoretical Computer Science!

Posted in News, Scientific News