Announcement_2

Wrapped up my summer research projects: verified and performant LTL model checking at the VERSE Lab, National University of Singapore, and computer vision for industrial defect detection at Know Center Research. Back at ETH Zurich to finish my master’s.