Expert In:

• Distributed computing theory
• Energy-efficient computing
• Theory and complexity
• Algorithms

Expert In:

• Quantum Complexity Theory
• Quantum Computing

Expert In:

• Social impact of computing
• Type theory and logic
• Algorithms and complexity
• Certified software

Expert In:

• Quantum computing
• String theory
• Astrophysics
• Black holes