#INCOWOCO2025 - giving a #keynote on "Polynomial Formal Verification: Towards Efficient and Provable System Design" at 2025 IEEE International Conference for Women in Computing incowoco.com/keynote/ @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #PolyVer #verification

#INCOWOCO2025 - looking forward to giving a #keynote on "Polynomial Formal Verification: Towards Efficient and Provable System Design" at 2025 IEEE International Conference for Women in Computing next week incowoco.com/keynote/ @unibremen.bsky.social @dfki.bsky.social #PolyVer #verification