Jan 16, 2024 
🗨️ I presented the paper Generation of Violation Witnesses by UnderApproximating Abstract Interpretation at VMCAI 24.

Dec 21, 2023 
📝 The competition contribution of MOPSA at SVCOMP 24 is accepted.

Oct 22, 2023 
🧑💼 I was a student volunteer at SAS 2023.

Oct 11, 2023 
📝 The paper Generation of Violation Witnesses by UnderApproximating Abstract Interpretation is accepted at VMCAI 2024.

Apr 22, 2023 
🧑💼 I was a student volunteer at ETAPS 2023.

Dec 06, 2022 
🗨️ I presented the paper Local Completeness Logic on Kleene Algebra with Tests at SAS 2022.

Sep 06, 2022 
📝 The paper Local Completeness Logic on Kleene Algebra with Tests is accepted at SAS 2022.
