Hello, I'm Yi-Nung Tsao

PhD student & Runner

Latest News

May 2025

Papering next coming research work

I am preparing the paper for submitting to SAS conference.

Read more
October 2024

My First Full Marathon

I finished my first full marathon in Frankfurt (Time: 3:59:38).

Read more
June 2024

Lattice Theory Workshop

I gave a talk on "Introduction to Neural Network Verification" at University of Luxembourg.

Read more

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
Esch-sur-Alzette, Luxembourg