Professors

University of Wisconsin–Madison · Department of Computer Sciences

computer science · biochemistry · genetics and molecular biology

• logic
• programming
• and type systems
• formal methods in verification
• logic
• reasoning

University of Wisconsin–Madison · Department of Computer Sciences

decision sciences · computer science

• data quality and management
• advanced database systems and queries
• semantic web and ontologies
• web data mining and analysis
• data management and algorithms

University of Wisconsin–Madison · Department of Computer Sciences

computer science

• advanced data storage technologies
• distributed systems and fault tolerance
• parallel computing and optimization techniques
• cloud computing and resource management
• caching and content delivery

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

• parallel computing and optimization techniques
• distributed and parallel computing systems
• software system performance and reliability
• cloud computing and resource management
• distributed systems and fault tolerance

University of Wisconsin–Madison · Department of Computer Sciences

psychology · computer science · engineering

• social robot interaction and hri
• ai in service interactions
• robot manipulation and learning
• innovative human-technology interaction
• virtual reality applications and impacts

University of Wisconsin–Madison · Department of Computer Sciences

computer science

• complexity and algorithms in graphs
• computability
• logic
• ai algorithms
• cryptography and data security
• machine learning and algorithms

University of Wisconsin–Madison · Department of Computer Sciences

engineering · computer science

• 3d shape modeling and analysis
• computer graphics and visualization techniques
• human motion and animation
• face recognition and analysis
• advanced numerical methods in computational mathematics

University of Wisconsin–Madison · Department of Computer Sciences

computer science

• cryptography and data security
• security and verification in computing
• logic
• programming
• and type systems
• blockchain technology applications and security

University of Wisconsin–Madison · Department of Computer Sciences

medicine · computer science · biochemistry · genetics and molecular biology

• tissue engineering and regenerative medicine
• domain adaptation and few-shot learning
• topic modeling
• advanced data storage technologies
• fibroblast growth factor research

University of Wisconsin–Madison · Department of Computer Sciences

computer science

• machine learning and data classification
• neural networks and applications
• face and expression recognition
• evolutionary algorithms and applications
• machine learning and algorithms

University of Wisconsin–Madison · Department of Computer Sciences

computer science

• parallel computing and optimization techniques
• advanced data storage technologies
• interconnection networks and systems
• distributed and parallel computing systems
• embedded systems design techniques

University of Wisconsin–Madison · Department of Computer Sciences

computer science · mathematics

• machine learning and algorithms
• complexity and algorithms in graphs
• statistical methods and inference
• machine learning and data classification
• algorithms and data compression

University of Wisconsin–Madison · Department of Computer Sciences

computer science · engineering · mathematics

• stochastic gradient optimization techniques
• sparse and compressive sensing techniques
• advanced optimization algorithms research
• optimization and variational analysis
• machine learning and elm

University of Wisconsin–Madison · Department of Computer Sciences

computer science · mathematics

• complexity and algorithms in graphs
• advanced graph theory research
• markov chains and monte carlo methods
• computability
• logic
• ai algorithms

University of Wisconsin–Madison · Department of Computer Sciences

computer science · decision sciences

• reinforcement learning in robotics
• domain adaptation and few-shot learning
• artificial intelligence in games
• machine learning and algorithms
• advanced bandit algorithms research

University of Wisconsin–Madison · Department of Computer Sciences

computer science · engineering

• topic modeling
• natural language processing techniques
• multimodal machine learning applications
• advanced vision and imaging
• robotics and sensor-based localization

University of Wisconsin–Madison · Department of Computer Sciences

computer science · engineering

• parallel computing and optimization techniques
• interconnection networks and systems
• embedded systems design techniques
• advanced data storage technologies
• radiation effects in electronics

University of Wisconsin–Madison · Department of Computer Sciences

decision sciences · computer science

• advanced bandit algorithms research
• machine learning and algorithms
• gaussian processes and bayesian inference
• auction theory and applications
• machine learning and data classification

University of Wisconsin–Madison · Department of Computer Sciences

computer science · decision sciences

• stochastic gradient optimization techniques
• adversarial robustness in machine learning
• advanced bandit algorithms research