Skip to content

Deepak Kapur

Distinguished Professor

Formal Methods, Program Analysis, Distributed Computing, Social Aspects of Computing