Heading to Ottawa π¨π¦ for #ICSE25 soon! Looking forward to an exciting week and connecting with everyone.
If youβre interested in topics related to trustworthy AI for code or ML for formal methods, lets chat!
27.04.2025 21:29
π 1
π 0
π¬ 0
π 0