Events 9
- Our Hackathon Project in Impact Hack 2025: CozySteps
- Presenting at ATVA 2024 in Kyoto
- Invited Talk at ISTA
- Presenting at HCVS 2024 in Luxembourg
- Presenting at VMCAI 2024 in London
- AITP 2022: AI and Theorem Proving in Aussois
- PAAR and the SAT/SMT/AR/CP Summer School at FLoC 2022
- Presenting at the 13th Alpine Verification Meeting (AVM'19)
- My First PhD Summer School: SAT/SMT/AR 2019 in Lisbon