KU Leuven postdoctoral researcher at the DTAI research group.
Departement Computerwetenschappen,
Celestijnenlaan 200A,
3001 Leuven
Hi,
I am a postdoctoral researcher in the area of artificial intelligence (AI), working at the intersection of automated reasoning, statistical relational AI and neurosymbolic AI.
My primary research activities involve knowledge compilation, which studies the transformation of knowledge into target representations that are more suitable for AI inference tasks. I am specifically interested in improving and applying knowledge compilation techniques to solve probabilistic inference tasks.
I obtained my PhD in Dec 2023, in the group of Prof. Luc De Raedt (the DTAI research group at KU Leuven). I am currently a postdoctoral researcher in the same group.
You can find additional information on KU Leuven who’s who page.
news
Sep 6, 2024 | Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness was accepted at ICTAI 2024. See you there! |
Jul 25, 2024 | Automated Reasoning in Systems Biology: a Necessity for Precision Medicine was accepted at KR 2024. See you there! |