Expert In:

• Foundations of mathematics
• Mathematical logic
• Proof Complexity and Mathematical Logic
• Automated testing

Expert In:

• Mathematical analysis of learning algorithms
• Mathematical logic and applications in computer science
• Clustering
• Computational statistics

Expert In:

• Logic
• Mathematics
• Autism
• Constructivism