People - Musharof Chy

Musharof Chy

2579 views

Created 11 months ago

University of Waterloo - Universal algebra, logic, computers.

Musharof Chy

2579 views

Created 11 months ago

Penn State University - Foundations of mathematics and logic.

Musharof Chy

2579 views

Created 11 months ago

Technische Universitaet Dresden - Proof Theory.

Musharof Chy

2579 views

Created 11 months ago

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

Musharof Chy

2579 views

Created 11 months ago

University of Notre Dame - Model theory.

Musharof Chy

2579 views

Created 11 months ago

University of Wisconsin, Madison - Computability, recursion theory.

Musharof Chy

2579 views

Created 11 months ago

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

Musharof Chy

2579 views

Created 11 months ago

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

Musharof Chy

2579 views

Created 11 months ago

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

Musharof Chy

2579 views

Created 11 months ago

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

Musharof Chy

2579 views

Created 11 months ago

Indiana University - Computational complexity.

Musharof Chy

2579 views

Created 11 months ago

Steklov Institute, St. Petersburg - Algorithmical number theory.