DTAI - KU Leuven
LightNews LightNews
banner
dtai-kuleuven.bsky.social
DTAI - KU Leuven
@dtai-kuleuven.bsky.social
210 followers 51 following 6 posts
Declarative Languages and Artificial Intelligence research group at the KU Leuven Computer Science department.

https://dtai.cs.kuleuven.be
Posts Replies Media Videos
dtai-kuleuven.bsky.social
Congratulations to DTAI PhD student Dries Van Daele, for successfully defending his PhD thesis on "Toepassingen van Relationele en Probabilistische Logica": tinyurl.com/363z38yb
🎓👏🥂🍾
@lucderaedt.bsky.social, @jessejdavis.bsky.social, @wannesm.bsky.social, @robjelier.bsky.social
October 28, 2025 at 12:26 PM
dtai-kuleuven.bsky.social
Congratulations to DTAI PhD student Ignace Bleukx for successfully defending his PhD thesis on "Towards Efficient and User-oriented Explanations for Constraint Solving": tinyurl.com/2s37uknv
🎓👏🥂🍾
October 28, 2025 at 12:19 PM
dtai-kuleuven.bsky.social
Congratulations to DTAI PhD student Laurens Devos for successfully defending his PhD thesis on "Verification and reasoning for decision tree ensembles": tinyurl.com/47efmbj5
🎓👏🥂🍾
@wannesm.bsky.social
@jessejdavis.bsky.social
October 17, 2025 at 2:42 PM
dtai-kuleuven.bsky.social
Congratulations to our DTAI researchers for presenting their work at #AAAI2025 #AAAI25 Lennert De Smet, Dimos Tsouros, Liesbeth Allein, Jaron Maene, David Depot,
Ignace Bleukx.
March 4, 2025 at 11:27 PM
dtai-kuleuven.bsky.social
Congratulations to DTAI PhD student Maaike Van Roy for successfully defending her PhD thesis on "Soccer Through the Lens of Artificial Intelligence: Analyzing Actions and Tactics by Learning and Reasoning": shorturl.at/RqeVB
🎓👏🥂🍾 @jessejdavis.bsky.social @lucderaedt.bsky.social @janvanhaaren.be
January 11, 2025 at 9:57 PM