Kim G Larsen

Andrew G. Barto and Richard S. Sutton are the recipients of the 2024 ACM A.M. Turing Award "for developing the conceptual and algorithmic foundations of reinforcement learning. " See awards.acm.org/about/2024-tur… Congrats to the recipients and to the CS community!

On behalf of Dagstuhl Publishing, Michael Wagner has posted the highlights for 2024. See dagstuhl.de/en/institute/n… Do read the highlights and share them within your networks. This is the least we can do to thank everyone at Dagsthul for their work.

Today, our based research lead @franckDownunder continues his quest to create more resources on Formal Verification in Move. This post walks through a case of proving that a function aborts only under specific circumstances. Devs, your deep dive 👇 blog.movementlabs.xyz/article/formal…

Happy to learn that our paper "Compositional Shielding and Reinforcement Learning for Multi Agent Systems" has been accepted at AAMAS. Nice early Xmas present to Asger Brorholt, Christian Schilling and myself. Hear the podcast for the paper produced by NotebookLM:

Thanks to the brave participants in our UPPAAL PhD course. Congratulation to all for successful completion of the course and without honorable mentioning of Mafe, Fouzi and Wu who won the UPPAAL modeling competition.

Happy to give Opening Key Note at Cyberwall in Galaxia, ESA.

Looking forward to the collaboration in the new quantum center and proud to serve as vice-director. es.aau.dk/et-nyt-forskni…

Happy to be invited speaker at Huawei Formal Methods Workshop in Grenoble together with good TACAS SC colleagues: Joost-Pieter Katoen and Dirk Beyer.

Imran Riaz defending his PhD thesis Advanced Control for Intelligent Domestic Heating Systems.

Soon, a new research initiative on #QuantumComputing #software will start in #Germany: The #SPP2514 "Quantum Software, Algorithms and Systems" by @dfg_public. Today, we had an initial round-table discussion about it at @TU_Muenchen. Many thanks for the great exchange!🙂 1/2

Happy to talk about quantum verification and operating systems with DSN rising star Pramod Bhatotia, TUM.

Machine learning systems, explained. Comic v/@xkcd

Taylor Johnson, Vanderbilt, opening keynote at DSN, Brisbane.

Ready to give my invited talk at GanDalf, Reykjavik.

DEIS celebrating AAU 50 years anniversary.

Glynn Winskel has been elected to the Fellowship of the Royal Society. See royalsociety.org/news/2024/05/n… Congratulations to Glynn FRS and to the concurrency theory community as a whole!

🔥Easy to Learn, 3-Minute Games🔥 Collect cards, build decks & unleash against your opponents in the award winning Marvel SNAP! Outsmart & Outplay Everyone👇

Happy to present the CS pitch at the opening of AAU Quantum

Giorgio Bacci winner of Tech faculty best teacher award 2024. Congrats.