đź“Ł You are invited to attend the #DissertationDefence of Andrea Bussolan on "Structure-aware Abstraction Techniques for efficient Software Verification"
đź“… Thursday 22 October 2026 at 10:30
#USILife #PhDLife #USItalent🎓
@inf.usi.chExplore
@inf.usi.ch@inf.usi.chđź“Ł You are invited to attend the #DissertationDefence of Konstantin Britikov on "Structure-aware Abstraction Techniques for efficient Software Verification"
đź“… Monday 19 October 2026 at 13:00
#USILife #PhDLife #USItalent🎓