A - Musharof Chy

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Indian Institute of Technology, Delhi - Semantics and Verification

Musharof Chy

2579 ビュー

11 ヶ月前に作成

MIT - Distributed systems, software engineering and security.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications...

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Ludwig-Maximillians University - Type theory, categorical logic, and program verification.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

University of California, Santa Barbara - Database systems, transaction processing, distributed sys...

Musharof Chy

2579 ビュー

11 ヶ月前に作成

University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia s...

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution...

Musharof Chy

2579 ビュー

11 ヶ月前に作成

University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calc...