Logic

Research Frontiers in Complexity Classes and P versus NP

Investigates computational complexity hierarchies with focus on fundamental problems of polynomial-time computability and decidability.

All Logic PhD categories