Felix Stutz
@Felix_Stutz_
Followers
93
Following
17
Media
6
Statuses
12
PhD Student at MPI-SWS | https://t.co/NjIyuVvzCU | Former Research Intern at MIT | Working on Formal Methods for Distributed Computing
Kaiserslautern, Germany
Joined August 2021
It's an exciting week π€©! I presented π¬ at ECOOP on Wednesday in Seattle ( and, tomorrow, Elaine Li will present π¬ our work at CAV in Paris (. I also met another Felix πThanks for the photo to Felix Suchert!
2
2
15
On Saturday, I gave a sneak preview of my ECOOP paper at PLACES @ETAPSconf π I showed that asynchronous Multiparty Session Type implementability is decidable, using a reduction to High-level Message Sequence Charts. .Thanks to @PerezJorgeA_ for the photo!
0
1
9
If you think about pursuing a PhD, consider joining Jiasi's group. I remember great discussions when we shared an office at MIT :) I'm sure it's great to work with her!.
I am looking for PhD and MPhil students in PL/SE to join my new team at HKUST in Fall 2023. Strong PhD applicants are encouraged to email me by *Nov 6* and apply by *Dec 1* to be considered for the prestigious HKPFS. Later applications are also considered.
0
0
1
I learned a lot at MIT Cππππ, even about maritime things! I sailedβ΅οΈ and divedπ€Ώ deep into shellπ scripts. Thanks @nikosvasilakis for hosting me. It was and is great to work with you,@KonsKallas, and @mgrnbrg! Actually, it seems they have been making a sπlπππ‘ with PaShπ
0
1
10
This week, I came back from the US. I traveled to various places from Boston and met so many cool peopleπ It was basically a π§ππ¬πππ π«ππ¬πππ«ππ‘ π―π’π¬π’π. PLDI as my first in-person PL conference was great and I was honored to get the chance to give a talk at NYUπ¬
0
1
8
RT @nikosvasilakis: MIT News covered PaSh! ππ. Work with @KonsKallas, @Tammam998, @dkarnikis, Jan Bialek, Thurston Dang, and @mgrnbrg. π Stβ¦.
0
10
0
So this was the first week of my internship at MIT. The Charles River was frozen but I received a very warm welcome. It was great so far π.I'm super excited to have the chance to work with @nikosvasilakis and many other great researchers over the next few months!
1
1
8
Highly recommended! I participated in the very first of this series during my undergrads and it was amazing. Great way to get to know cutting-edge research and the people behind it π.
Help us spread the word about the CMMRS 2022 (, a research summer school for undergrads and master students organized by MPI, Cornell and UMD! The call for applications closes February 21st! @mpi_jcmace @mpi_sws_ @cs_cornell @umdcs.
0
0
0
If you attend #CONCUR21, please join Session A8 at 5pm where I present our work on Multi-party Session Types (w/ @rupakmajumdar, D. Zufferey and M. Mukund). It is about how to safely learn other's choices in protocols. No session type background requiredπ.
0
2
5
Hi, .I'm Felix Stutz, a PhD student at MPI-SWS where I'm fortunate to work with Damien Zufferey and @rupakmajumdar on interesting problems in the domain of formal methods for distributed computing.
1
0
35