CV

Research intern

VERSE Lab @ NUS

3-month research internship with Ilya Sergey, working on LTL model checking.

• Ongoing

Research intern

KNOW Center Research

Research internship working on computer vision for industrial defect detection.

• Redesigned a video-analysis pipeline for classifying anomalous elongated structures, replacing rigid filter/rescue logic with independent per-class geometric passes (thickness, curvature, orientation, convex hull).
• Built the perception layer on SAM 3.1 video segmentation on NVIDIA H100 GPUs, with amodal shape completion for occluded structures and hardened curvature estimation.
• Built a combined per-pass debug render grid of every pass’s intermediate geometry.

IT Project Manager

UBS AG

Head of a project team within Wealth Management Research, SPoC

• Management and implementation of releases, end-of-life dismantling, technical migrations and full rollout of the new internal platform.
• All migrations were carried out successfully and on time through early planning and continuous consultation with the central teams for the company-wide migrations.

Software Engineer

UBS AG

Rollout internal beta of new platform for exploring market research publications with search and user preferences.

• Implementation of anonymous user tracking (e.g. time spent on publication, search queries) to measure popularity of topics.
• Integration of new frontend with existing data management platform.

Software Engineer in Training (EFZ)

UBS AG

First year general training, 3 years at Wealth Management Research.

• Databases (Oracle), server backends (Java, Spring Boot), frontend (React, Freemarker) development
• Development on internal platforms for the publication and management of market analyses and forecasts, handling a large catalogue of publications across many content types, output formats and jurisdiction-aware publication rules.
• Integrated the publication pipeline with downstream platforms that consume this research data, keeping their feeds consistent as publications are added, updated, or withdrawn.

MSc, Computer Science

ETH Zurich

Major in Secure and Reliable Systems, Minor in Computer Vision

• Coursework concentrated on formal methods, program verification, and automated reasoning, taking essentially every course ETH offers in these areas.
• Minor in Computer Vision with further electives in high-performance and parallel computing.
• Student teaching assistant for the undergraduate Visual Computing course (computer vision and graphics).
• Student activities: ETH CyberGroup, Shoqata Studenti.

BSc, Computer Science

ETH Zurich

Computer Science

• Bachelor’s thesis: “A Rust Frontend for GenMC”, extending the GenMC stateless model checker to verify LLVM-IR compiled from Rust programs, advised by Prof. Dr. Michalis Kokologiannakis.

Optimizing GenMC's consistency checker

Follow-up project at ETH Zurich with Prof. Dr. Michalis Kokologiannakis on the performance of the consistency checker at the core of the GenMC stateless model checker.

• Optimized the C++ consistency-checker code that Kater generates from a weak-memory-model specification and that GenMC runs on every extension of an execution graph.
• Reworked the acyclicity checks with a graph traversal that also handles previously intractable inputs, less bookkeeping repeated on every check, and fast paths that replace expensive sub-checks.
• Improved the inclusion (view) checks through better handling of recursive relations and automatic sound rewrites that cut redundant computation.
• Measured a noticeable end-to-end speed-up across GenMC’s benchmark suite.

A Rust frontend for GenMC (BSc thesis)

Bachelor’s thesis at ETH Zurich, advised by Prof. Dr. Michalis Kokologiannakis.

• Extended GenMC, a state-of-the-art stateless model checker for concurrent C/C++ under weak memory models, so that it can also verify concurrent Rust programs.
• Added support for LLVM-IR constructs emitted by the Rust compiler and provided custom implementations of Rust’s standard-library concurrency APIs so they are intercepted by the checker.
• Verified concurrent data structures from the Crossbeam crate as a case study, cross-checking Rust tests against equivalent C programs.