About me
I am a PhD student at University of Luxembourg (PCOG Group) under the supervision of Pierre Talbot and Grégoire Danoy. My current research interests are Abstract Interpretation, Neural Network Verification, and Operations Research.
Before I joined the group, I was a Software Engineering at AUO in production planning team.