What is the primary focus of Toniann Pitassi's research?

A. Developing new algorithms for solving computational problems
B. Investigating the application of computational complexity theory to cryptography
C. Analyzing the time complexity of machine learning models
D. Studying the complexity of mathematical proofs in formalized proof systems
Answer: 