Michael Schwarz
@93mschwarz.bsky.social
PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
Two-for-one on professional life updates today:
1️⃣ In June, I defended my PhD at TUM 🎓 (thanks again to everyone on the committee and my advisor Helmut Seidl)
2️⃣I have moved to Singapore 🇸🇬 and joined @umathur.bsky.social's group in NUS PLSE as a postdoc✍️
1️⃣ In June, I defended my PhD at TUM 🎓 (thanks again to everyone on the committee and my advisor Helmut Seidl)
2️⃣I have moved to Singapore 🇸🇬 and joined @umathur.bsky.social's group in NUS PLSE as a postdoc✍️
September 16, 2025 at 6:44 AM
Two-for-one on professional life updates today:
1️⃣ In June, I defended my PhD at TUM 🎓 (thanks again to everyone on the committee and my advisor Helmut Seidl)
2️⃣I have moved to Singapore 🇸🇬 and joined @umathur.bsky.social's group in NUS PLSE as a postdoc✍️
1️⃣ In June, I defended my PhD at TUM 🎓 (thanks again to everyone on the committee and my advisor Helmut Seidl)
2️⃣I have moved to Singapore 🇸🇬 and joined @umathur.bsky.social's group in NUS PLSE as a postdoc✍️
Back from the SV-COMP Community Meeting and Verification Witness workshop this year at Frauenchiemsee Abbey. Great opportunity for the SV-COMP community to get together and discuss all the exciting changes coming to the witness format for SV-COMP '26.
April 6, 2025 at 12:14 PM
Back from the SV-COMP Community Meeting and Verification Witness workshop this year at Frauenchiemsee Abbey. Great opportunity for the SV-COMP community to get together and discuss all the exciting changes coming to the witness format for SV-COMP '26.
Today, we got to learn about "The Mopsa static analysis platform and their quest to ease implementation & maintenance" from Raphaël Monat, who's visiting our group at TUM on his way to the SV-COMP community meeting tomorrow. 📖
March 31, 2025 at 11:54 AM
Today, we got to learn about "The Mopsa static analysis platform and their quest to ease implementation & maintenance" from Raphaël Monat, who's visiting our group at TUM on his way to the SV-COMP community meeting tomorrow. 📖