Andrea Sorbi

1956

• Complexity, logic, and recursion theory
• Computability in context
• New computational paradigms