Reactive Systems Group
@reactivesysgrp
Followers
64
Following
56
Statuses
31
RT @jana_tweets_cs: Goodbye Azure Research 😢 And just like that, my last week at Microsoft has started. I spent an amazing two years as a p…
0
1
0
RT @frenkel_hadar: What a great day at the HYPER workshop at @confCAV today! We thank our keynote speakers, Fred Schneider, Hagit Attiya, J…
0
3
0
RT @frenkel_hadar: Join us tomorrow to the HYPER workshop at @confCAV! We start Tuesday morning at 08:55, see you there! Full program: htt…
0
5
0
RT @HazemTorfah: Join as at Chalmers! Fully-funded PhD and Postdoc positions in Formal Verification of Autonomous Cyber-Physical Systems!…
0
5
0
RT @alexdweinert: Ich suche eine*n neue*n Kollegen*in für eine Promotion im Software Engineering für Quantencomputer am @DLR_software. Geme…
0
2
0
RT @AndreasZeller: This work on precise symbolic bug finding is the third @CISPA paper at @FSEconf - in fact, 60% of all ESEC/FSE papers fr…
0
6
0
Congratulations, Jana! 👏 And best of luck on the academic job market from all of us 🍀
Very honoured to receive this award 😊 It sounds a bit cheesy, but it's absolutely true for me: research is teamwork, so thanks a lot to my great colleagues at @reactivesysgrp @ @CISPA! And this is probably also the place to mention: I am on the academic job market this year 😬
0
0
5
RT @HazemTorfah: We are hiring! Two fully-funded PhD positions in Assured Autonomous Systems @chalmersuniv. For more information see the li…
0
8
0
RT @NI_klasM: Great talk, @frenkel_hadar! If you couldn’t attend, check out our blog post about Second-Order Hyperproperties and Common Kno…
0
1
0
Congratulations to both @chalmersuniv and you, Hazem, this is great news! 🥂
Very excited to join Chalmers University of Technology! As of August, I will join the Computer Science and Engineering Department at @chalmersuniv as an Assistant Professor.
0
0
11
RT @jana_tweets_cs: Very honoured to receive this (quite beautiful!) award! 😊 This was a fun paper to work on. Shoutout to my co-authors @N…
0
4
0
RT @A_d_d_a_Lemos: Friday, @ArthurCorrenson presents his paper "Engineering a Formally Verified Automated Bug Finder" in @OutSystems AI RG…
0
2
0
Another win for CAQE and QuAbS by @ltentrup and @MarkusNRabe at this year’s QBF competition in the Olympic Games @FLoC2022! Congrats! 👏🏻 Find out more at
0
3
11
RT @jana_tweets_cs: Kicking off LICS @FLoC2022 this morning 💪🏻 Really nice to be in the first session, now all I have to do is enjoy the co…
0
1
0
Last (but certainly not least!) @frederik_schm will present joint work with @ChrisHahnCS, @MarkusNRabe, and @FinkbeinerBernd in the morning session of the SYNT workshop. Join us on Thursday, August 11 at 10:15am in room Ullmann 201.
0
0
6