Joined November 2015
- Tweets 515
- Following 45
- Followers 341
- Likes 27
327 Photos and videos
Kim G Larsen retweeted
6 Mar 2025
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-tu…
Congrats to the recipients and to the CS community!
1
1
130
Kim G Larsen retweeted
9 Feb 2025
On behalf of Dagstuhl Publishing, Michael Wagner has posted the highlights for 2024. See dagstuhl.de/en/institute/new…
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.
1
103
Kim G Larsen retweeted
7 Feb 2025
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/articl…
19
31
119
47,779
21 Dec 2024
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:
5
329
10 Dec 2024
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.
6
207
2 Oct 2024
Looking forward to the collaboration in the new quantum center and proud to serve as vice-director. es.aau.dk/et-nyt-forskningsc…
1
4
188
20 Sep 2024
Happy to be invited speaker at Huawei Formal Methods Workshop in Grenoble together with good TACAS SC colleagues: Joost-Pieter Katoen and Dirk Beyer.
7
417
10 Jul 2024
Imran Riaz defending his PhD thesis Advanced Control for Intelligent Domestic Heating Systems.
5
198
Kim G Larsen retweeted
28 Jun 2024
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
2
4
15
1,270
26 Jun 2024
Happy to talk about quantum verification and operating systems with DSN rising star Pramod Bhatotia, TUM.
7
261
Kim G Larsen retweeted
26 Jun 2024
Machine learning systems, explained.
Comic v/@xkcd
6
72
355
35,647
23 Jun 2024
Taylor Johnson, Vanderbilt, opening keynote at DSN, Brisbane.
3
153
Kim G Larsen retweeted
17 May 2024
Glynn Winskel has been elected to the Fellowship of the Royal Society. See royalsociety.org/news/2024/0…
Congratulations to Glynn FRS and to the concurrency theory community as a whole!
2
10
361
Kim G Larsen retweeted
26 Feb 2024
🔥Easy to Learn, 3-Minute Games🔥
Collect cards, build decks & unleash against your opponents in the award winning Marvel SNAP!
Outsmart & Outplay Everyone👇
159
146
5,157
35,791,797
19 Apr 2024
Giorgio Bacci winner of Tech faculty best teacher award 2024. Congrats.
6
267