People - Musharof Chy

Musharof Chy

2579 ビュー

11 ヶ月前に作成

University of Waterloo - Universal algebra, logic, computers.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Penn State University - Foundations of mathematics and logic.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Technische Universitaet Dresden - Proof Theory.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

University of Illinois, Chicago - Model theory (finite and infinite).

Musharof Chy

2579 ビュー

11 ヶ月前に作成

University of Notre Dame - Model theory.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

University of Wisconsin, Madison - Computability, recursion theory.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics...

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Technion, Israel - Logic in computer science, finite model theory.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

University of Cambridge - Categorical logic, type theory, semantics of programming languages and lo...

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Villanova University - computability logic, game semantics, provability logic.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Indiana University - Computational complexity.

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Steklov Institute, St. Petersburg - Algorithmical number theory.