Expert In:

• Logic
• Autism
• Constructivism
• Evaluation of teaching

Expert In:

• Mathematical Logic

Expert In:

• Proof Complexity and Mathematical Logic
• NeuroSymbolic AI
• SAT/SMT Solvers
• Testing, Analysis, Verification, and Security of AI Systems

Expert In:

• Fuzzy Logic
• Application of Neural Networks
• Asset management
• Budgeting and Backlog

Expert In:

• Spin memory and logic devices
• Nanotechnology
• Spintronics
• Topologically protected low-dimensional spin system

Expert In:

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

Expert In:

• Mathematical logic and applications in computer science
• Clustering
• Computational statistics
• Human centred applications of machine learning

Expert In:

• Linear optic quantum logic operation
• Entanglement
• Measurement implementation
• Quantum communication