Expert In:

• Theory and complexity
• Distributed computing theory
• Networking and data
• Dependability and security

Expert In:

• Quantum Complexity Theory

Expert In:

• Coding and modulation
• Communciations and access
• Description complexity theory
• Big data/analytics

Expert In:

• Algorithms and complexity
• Type theory and logic
• Certified software
• Computer science education

Expert In:

• Computational complexity
• Information theory
• Algorithms
• Quantum computation