Hello, I'm Yi-Nung Tsao

A PhD student & Trail Runner

Introduction Latest News

Personal Introduction

Hi, I’m Yi-Nung Tsao. I’m a PhD student working on topics around program analysis and verification, with a strong interest in rigorous, research-style exposition.

Outside the lab, I’m also a trail runner who enjoys endurance training and the challenge of long, technical routes.

News

  • 📝Current:I'm preparing my first publication🔥
  • 🛬3 November 2025:Landing at lattice-land.
  • 🏃19 October 2025:NEW PR in full marathon, Amsterdam, Netherland (42.195 km, Time: 3:59:21).
  • 📝Winter 2025:I was a TA in Lattice Theory for Parallel Programming at University of Luxembourg.
  • 🏃9-16 August 2025:Summer Running Self-challange Project - 100 km in a week, Annecy, France.
  • 📝August 2025:I was a sub-reviewer in ICTAI 2025.
  • 🏃12 July 2025:Lënster Trail, Luxembourg (15 km, 300 D+, Time: 1:25:25).
  • 🍀 8 July 2025: I passed my CET 2.
  • 🏃31 May 2025:ING half marathon, did not perform well (21.0975 km, Time: 2:01:46).
  • 🏃 21 April 2025:I ran DKV Urban Trail again in Luxembourg (34 km, 830 D+, Time: 4:06:11).
  • 🏃22 March 2025:Birthday Project - Donut Infinite Trail, Tawain, 5 Loops (34.9 km, 2812 D+, 12:10:00).
  • 🏃22 December 2024:First ultra trail, 3-Länner-Trail, Luxembourg, but DNF (43.51/51 km, 1100/1400 D+, Time: 7:17:08).
  • 🏃27 October 2024:I finished my first full marathon in 4 hours in Frankfurt, Germany (42.195 km, Time: 3:59:38).
  • 🏃29 September 2024:NEW PR in half marathon, Route du vin, Luxembourg (21.0975 km, Time: 1:41:55).
  • 📝Winter 2024:I was a TA in Lattice Theory for Parallel Programming at University of Luxembourg.
  • 🏃14 September 2024:I ran UTML (35 km, 1100 D+, 5:11:57).
  • 🏃3 September 2024:Summer Running Self-challange Project - Lipari Island Tour (37.29km, 1167 D+, Time: 6:36:46).
  • 📝1-7 September 2024:I attended Lipari Summer School on Abstract Interpretation, Italy.
  • 📝8-12 July 2024:I attended Summer School on Verification Technology, Systems & Applications in Belval, Luxembourg.
  • 🏃30 June 2024:Trail des Mines (14 km, 250 D+, Time: 1:26:25).
  • 🎤17-21 June 2024:I was a speaker about "Introduction to Neural Network Verification by Abstract Interpretation" in Abstract Interpretation Workshop in Luxembourg.
  • 🍀10 June 2024: I passed my CET 1.
  • 🏃21 April 2024:I ran DKV Urban Trail in Luxembourg (34 km, 830 D+, Time: 4:01:04).
  • 📝25-29 March 2024: I attended Winter School on Constraint Programming in Aussois, France.
  • 🏃2 September 2023:I finished my first trail running race (Trail' Malling, France) with my beautiful white road shoes (24 km, 600 D+, Time: 3:59:12).
  • 🏃2 September 2023:I finished my first running race (Esch Kulturlaf) in Europe (10 km, Time: 1:11:32).
  • 🎉1 August 2023:I started my PhD journey in PCOG team at University of Luxembourg.