Daniel E. Cohen

• Computability and logic
• Combinatorial group theory
• Groups of cohomological dimension one
• Computability and Logic