P - Musharof Chy

Musharof Chy

2579 visualizações

Criado há 11 meses

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

Musharof Chy

2579 visualizações

Criado há 11 meses

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

Musharof Chy

2579 visualizações

Criado há 11 meses

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

Musharof Chy

2579 visualizações

Criado há 11 meses

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

Musharof Chy

2579 visualizações

Criado há 11 meses

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

Musharof Chy

2579 visualizações

Criado há 11 meses

University of Cambridge - Interactive theorem proving and its applications.

Musharof Chy

2579 visualizações

Criado há 11 meses

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