Isil Dillig
idillig.bsky.social
Isil Dillig
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
No videos yet.