Alexander Gryzlov
923
reputation
6
11
Interested in:
- Type theory & mechanized logic
- Computational/constructive algebra, topology & category theory
- Concurrency theory & multiagent/distributed systems
- Cybernetics, knowledge representation & social choice theory