Name:Ismail Kuru

Country:United States

Affiliation:Drexel University

Research interests:Verification, Separation Logic, Type Theory, Concurrency and Parallelism, Capabilities, Operating Systems, Type Systems