In admiration, at NSF SaTC PI meeting, a colleague told me formal methods is like the lover you were never able to marry :)

A flattery sketch of me by an undergrad student during their discrete math exam!

Allow me to introduce the new AG.

From NSF: "...all review panels, new awards, and all payments of funds under open awards will be paused as the agency conducts the required reviews and analysis….”. Kudos to Trump for creating such incredible chaos, mess, and absolute crap that I don't feel homesick anymore.

We all felt the significance of 7% cut last year. 50% will essentially end basic research in the US and puts China on the top. arstechnica.com/science/2025/0…

CAVing with Suguman Bansal Taylor T Johnson Bardh Hoxha

More CAVing with Roderick Bloem, Zvonimir Rakamaric, Ezio Bartocci, and Ana Costa.

Super excited about our paper accepted to #NeurIPS2025! HypRL is a specification-guided RL for multi-agent systems, where objectives and relational constraints are expressed by hyperproperties, avoiding reward hacking. Great work by Tzu-Han👩🏻‍💻🎹, Arshia Rafieioskouei! arxiv.org/abs/2504.04675