Hello, I'm Yi-Nung Tsao

A PhD student & Trail Runner

Contact Me

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.

Blog & Notes

December 8, 2024 MyShare

PhD Journey

Share my PhD life at University of Luxembourg.

PhD life
Read More
January 15, 2025 Lecture Notes

Introduction to Neural Network Verification

A comprehensive introduction to the fundamentals of neural network verification, covering basic concepts, mathematical foundations, and practical applications in safety-critical systems.

Neural Networks Verification Safety
Read More
December 8, 2024 Tutorial

Abstract Interpretation: Theory and Practice

Learn the theoretical foundations of abstract interpretation and how to apply these concepts to real-world program analysis problems.

Abstract Interpretation Static Analysis Theory
Read More
View All Posts

My Projects

Neural Network Verification

Neural network verification is the process of formally analyzing neural networks to ensure they behave correctly and safely under all possible inputs, particularly in safety-critical applications.

View Project

Lattice Theory

Lattice theory provides a foundational framework for order theory, logic, and applications in computer science and mathematics.

View Project

Abstract Interpretation

Abstract interpretation is a theory of sound approximation of program behaviors used in static analysis to detect potential errors without executing the program.

View Project

Contact

I'm always open to discussing new projects, creative ideas or opportunities to be part of your vision.

yi-nung.tsao@uni.lu