Yi-Nung Tsao (曹議濃)
Hello, I am Yi-Nung. I am currently a PhD student at the University of Luxembourg. I am working with Grégoire Danoy and Pierre Talbot. My research interests focus mainly on designing a sound neural network verifier using constraint programming. Before coming to Europe, I was a software engineer developing production scheduling systems at AUO in Taiwan.
btw, I'm also an ultra trail runner :D
Email: yi-nung.tsao@uni.lu
Office: MNO, E02 0215060
Publications and preprints
- Towards Continuous Constraint Programming for Sound Neural Network Verification, with P. Talbot, LOGICNN (2026).
Teaching Assistant
- Lattice Theory for Parallel Programming, University of Luxembourg, Winter 2026
- Lattice Theory for Parallel Programming, University of Luxembourg, Winter 2025
- Lattice Theory for Parallel Programming, University of Luxembourg, Winter 2024