Andrea Sorbi

• Computation and Logic in the Real World
• Complexity, Logic, and Recursion Theory
• Computing with Incomplete Information