news

Jul 25, 2026 Excited to join Carola’s group at LIP6, Sorbonne University, working on my MSCA project TSADA.
Jul 25, 2026 Very happy to give a talk, “Tailoring MaxSAT Local Search Solvers through Black-box Optimization Techniques,” at the PPSN Workshop on Tailoring Optimization Approaches with Domain Knowledge.
Jul 25, 2026 Excited to join FLOC for the first time and share my experience in tuning MaxSAT solvers at the CompBench workshop
Jul 15, 2026 Very happy to present our work block-bench at GECCO 2026 in San José, Costa Rica.