I'm thrilled to announce that I will be joining @WisconsinCS as an Assistant Professor starting Fall 2023! I am tremendously excited to expand and connect the already-fantastic @madison_sp and madPL groups.
Kesha Hietala will defend her PhD thesis, A Verified Software Toolchain for Quantum Programming, this coming Monday, May 16. We can't wait! talks.cs.umd.edu/talks/3194
We had a really great visit by Cameron Moy from @neu_prl (and formerly @plumlab) yesterday, who talked about his work on Trace Contracts. Very cool stuff! talks.cs.umd.edu/talks/3152
