@idillig.bsky.social
940 Followers · 324 Following
CS professor at UT Austin, does research in programming languages & formal methods.
