Expert In:

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

Expert In:

• Dependability and security
• Networking and data
• Theory and complexity
• Algorithms

Expert In:

• Proof Complexity and Mathematical Logic
• Automated testing
• Computer security
• Formal methods

Expert In:

• Quantum Complexity Theory

Expert In:

• Computational complexity
• Algorithms
• Information theory
• Quantum computation

Expert In:

• Magnetic resonance and its applications
• Quantum complexity
• Quantum devices for sensing and computation
• Neutron interferometry

Expert In:

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