Kim G Larsen

[Luca Aceto @aceto_luca]

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 https://t.co/G8OTVLIpfs
Congrats to the recipients and to the CS community!

[Luca Aceto @aceto_luca]

On behalf of Dagstuhl Publishing, Michael Wagner has posted the highlights for 2024. See https://t.co/0rn1ePju5n

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.

[Movement @movement_xyz]

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 👇
https://t.co/ZTQWG1qWoA

[Kim G Larsen @kglaau]

https://t.co/4YTpp8vUQa

[Kim G Larsen @kglaau]

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:

[Kim G Larsen @kglaau]

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.

[Kim G Larsen @kglaau]

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

[Kim G Larsen @kglaau]

Looking forward to the collaboration in the new quantum center and proud to serve as vice-director. https://t.co/g7cTtORBnx

[Kim G Larsen @kglaau]

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

[Kim G Larsen @kglaau]

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

[Robert Wille @rbrtwll]

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

[Kim G Larsen @kglaau]

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

[MIT CSAIL @MIT_CSAIL]

Machine learning systems, explained.

Comic v/@xkcd

[Kim G Larsen @kglaau]

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

[Kim G Larsen @kglaau]

Ready to give my invited talk at GanDalf, Reykjavik.

[Kim G Larsen @kglaau]

DEIS celebrating AAU 50 years anniversary.

[Luca Aceto @aceto_luca]

Glynn Winskel has been elected to the Fellowship of the Royal Society. See https://t.co/Y46ti7OARu
Congratulations to Glynn FRS and to the concurrency theory community as a whole!

[MARVEL SNAP @MARVELSNAP]

🔥Easy to Learn, 3-Minute Games🔥

Collect cards, build decks & unleash against your opponents in the award winning Marvel SNAP!

Outsmart & Outplay Everyone👇

[Kim G Larsen @kglaau]

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

[Kim G Larsen @kglaau]

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