Umang Mathur

@umathur.bsky.social

Presidential Young Professor at the National University of Singapore.

https://www.comp.nus.edu.sg/~umathur/

View in Bluesky

Jingbo Wang

@jingbow.bsky.social

Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM

Gokul Rajiv

@gok99.bsky.social

Undergrad @ NUS and walkable city enthusiast doing Programming Languages research

Guannan Wei

@guannanwei.bsky.social

Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/

Ruijie Meng

@ruijiemeng.bsky.social

PhD candidate @NUS. Software Testing and Security. https://mengrj.github.io/

@ccadar.bsky.social

Nate Foster

@natefoster.bsky.social

Husband, dad, cyclist, OCaml h4x0r, CS professor (in that order)

Manish Shetty

@slimshetty.bsky.social

PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org

@soosmate.bsky.social

Pramod Bhatotia

@pramod-bhatotia.bsky.social

Professor @ TUM https://dse.in.tum.de/

David Fowler

@davidfowl.com

Distinguished Engineer @ Microsoft 🧐. Creator of NuGet, SignalR and ASP.NET Core, Barbadian 🇧🇧, Tennis Player.

Ilya Sergey

@ilyasergey.bsky.social

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.

Bluesky

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app