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✍️
16.09.2025 06:44 — 👍 4 🔁 1 💬 1 📌 0
Don't miss out on this exciting opportunity.
28.03.2025 03:58 — 👍 0 🔁 0 💬 0 📌 0
Highlight 3:
"Dynamic Race Detection with O(1) Samples",
POPL'23
24.02.2025 14:13 — 👍 3 🔁 1 💬 1 📌 0
Looking forward to seeing you all in Singapore for yet another cool event! Sign up!
27.01.2025 05:23 — 👍 0 🔁 0 💬 0 📌 0
Interested in Programming Languages and Systems.
PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
(recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Incoming tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
Distinguished Engineer @ Microsoft 🧐. Creator of NuGet, SignalR and ASP.NET Core, Barbadian 🇧🇧, Tennis Player.
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
