#AIIoT2025 - #keynote on "LLM-based Behaviour Driven Development for Hardware Design" at the 2nd International Symposium on Artificial Intelligence and Internet of Things (AIIoT-25); paper available on #arxiv arxiv.org/abs/2512.17814 @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social

#AIIoT2025 - tomorrow giving a #keynote on "LLM-based Behaviour Driven Development for Hardware Design" at the 2nd International Symposium on Artificial Intelligence and Internet of Things (AIIoT-25); paper available on #arxiv arxiv.org/abs/2512.17814 @unibremen.bsky.social #LLM #BDD

#AIIoT2025 - looking forward to giving a #keynote on "LLM-based Behaviour Driven Development for Hardware Design" at the 2nd International Symposium on Artificial Intelligence and Internet of Things (AIIoT-25) aiiot2025.iiests.ac.in/invited-spea... @unibremen.bsky.social @dfki.bsky.social

#AIIOT2025 - delivering #keynote on "Polynomial Formal Verification of AI Chips" at the International Symposium on Artificial Intelligence and Internet of Things aiiot2025.iiests.ac.in
@unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #PolyVer #verification #PolynomialFormalVerification

#AIIOT2025 - #keynote at the International Symposium on Artificial Intelligence and Internet of Things on "Polynomial Formal Verification of AI Chips"
aiiot2025.iiests.ac.in @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #PolyVer #verification #PolynomialFormalVerification

#AIIOT2025 - Sajjad Parvin from @unibremen.bsky.social presenting at the International Symposium on Artificial Intelligence and Internet of Things (AIIoT-25) on "Optical Probing on Chips: Layout Level Countermeasures, Simulation, and Future Prospectives"
aiiot2025.iiests.ac.in @dfki.bsky.social