LTL model checking Research internship with Ilya Sergey's VERSE Lab @ NUS. More details will follow once the project is finished :). Computer vision for industrial defect detection Research internship at Know Center Research GmbH, Graz. Video analysis for detecting and classifying anomalous elongated structures in an industrial process. Optimizing GenMC's consistency checker Making the generated consistency checker at the core of the GenMC stateless model checker faster. BSc thesis: A Rust Frontend for GenMC Extending the GenMC stateless model checker to verify concurrent Rust programs.
