P - Musharof Chy

Musharof Chy

2579 次查看

创建于 11 个月前

University of Pennsylvania. Programming languages, type systems, and distributed programming.

Musharof Chy

2579 次查看

创建于 11 个月前

Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems

Musharof Chy

2579 次查看

创建于 11 个月前

Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal ...

Musharof Chy

2579 次查看

创建于 11 个月前

Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance...

Musharof Chy

2579 次查看

创建于 11 个月前

University of Texas at Austin - Software engineering, system evolution, large-scale systems.

Musharof Chy

2579 次查看

创建于 11 个月前

University of Cambridge - Interactive theorem proving and its applications.

Musharof Chy

2579 次查看

创建于 11 个月前

University of Cambridge - Applications of mathematical logic and category theory to computer scienc...