Professors

University of Wisconsin–Madison · Department of Computer Sciences

computer science

• adversarial robustness in machine learning
• software testing and debugging techniques
• formal methods in verification
• software engineering research
• quantum computing algorithms and architecture

University of Wisconsin–Madison · Department of Computer Sciences

computer science · physics and astronomy

• quantum computing algorithms and architecture
• quantum information and cryptography
• quantum-dot cellular automata
• parallel computing and optimization techniques
• quantum and electron transport phenomena