@eskang.bsky.social
135 Followers · 149 Following
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
