People - Musharof Chy

Musharof Chy

2579 vues

Créé il y a 11 mois

University of Waterloo - Universal algebra, logic, computers.

Musharof Chy

2579 vues

Créé il y a 11 mois

Penn State University - Foundations of mathematics and logic.

Musharof Chy

2579 vues

Créé il y a 11 mois

Technische Universitaet Dresden - Proof Theory.

Musharof Chy

2579 vues

Créé il y a 11 mois

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

Musharof Chy

2579 vues

Créé il y a 11 mois

University of Notre Dame - Model theory.

Musharof Chy

2579 vues

Créé il y a 11 mois

University of Wisconsin, Madison - Computability, recursion theory.

Musharof Chy

2579 vues

Créé il y a 11 mois

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

Musharof Chy

2579 vues

Créé il y a 11 mois

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

Musharof Chy

2579 vues

Créé il y a 11 mois

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

Musharof Chy

2579 vues

Créé il y a 11 mois

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

Musharof Chy

2579 vues

Créé il y a 11 mois

Indiana University - Computational complexity.

Musharof Chy

2579 vues

Créé il y a 11 mois

Steklov Institute, St. Petersburg - Algorithmical number theory.