@idillig.bsky.social

CS professor at UT Austin, does research in programming languages & formal methods.

@bsky.app

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