Skip to main content
Alexander Gryzlov's user avatar
Alexander Gryzlov's user avatar
Alexander Gryzlov's user avatar
Alexander Gryzlov
  • Member for 2 years, 5 months
  • Last seen more than a month ago
About

Interested in:

  • Type theory & mechanized logic
  • Computational/constructive algebra, topology & category theory
  • Concurrency theory & multiagent/distributed systems
  • Cybernetics, knowledge representation & social choice theory
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts