news

Jul 20, 2026 Our paper “Uncertainty Quantification for Flow-Based Vision-Language-Action Models” has received the Best Paper Award at the Diffusion for Robot Learning Workshop at RSS 2026 🥳
Jun 24, 2026 Participated in the EUROPE EMBODIED hackathon with Paul and a great team, working on a precision insertion task with a Franka Emika robot arm.
Apr 30, 2026 Our paper Automated Approach for Solving Infinite-state Polynomial Reachability Games was accepted for publication at IJCAI 2026.
Mar 24, 2026 Participated in the Jane Street Guts++ math competition, solving partially observable problems and interesting puzzels.
Dec 04, 2025 Officially awarded the honors degree from Technical University of Vienna, recognizing my academic achievements and contributions to the honors program.
Nov 19, 2025 Presented my experience to prospective Bachelor with Honors students at Technical University of Vienna, sharing insights on my journey and the benefits of pursuing an honors program.
Nov 14, 2025 Attended the Swiss Robotics Day in Lousanne including a lot of impressive demos.
Oct 30, 2025 Attended the Honors Conference in Oslo, exchanging ideas and experiences with other honors students from Europe and beyond.
Oct 10, 2025 Participated in the Nvidia Simulation Hackathon with Patrick and a great team, working on realistic asset generation for simulation environments from a single image.
Oct 08, 2025 Our tool PolyQEnt won the distinguished tool paper award at ATVA 2025!
Mar 06, 2025 I was accepted into the Direct Doctorate program at ETH Zurich starting Fall 2025 🇨🇭!
Jan 18, 2025 Our paper Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization was selected for oral presentation at AAAI 2025.