Departments · 1
Professors · 53
computer science · biochemistry · genetics and molecular biology
- logic
- programming
- and type systems
- formal methods in verification
- logic
- reasoning
physics and astronomy · engineering
- advanced optical sensing technologies
- indoor and outdoor localization technologies
- advanced sar imaging techniques
- radar systems and signal processing
- millimeter-wave propagation and modeling
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
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
computer science
- adversarial robustness in machine learning
- software testing and debugging techniques
- formal methods in verification
- software engineering research
- quantum computing algorithms and architecture
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
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
computer science
- complexity and algorithms in graphs
- computability
- logic
- ai algorithms
- cryptography and data security
- machine learning and algorithms
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
computer science
- cryptography and data security
- security and verification in computing
- logic
- programming
- and type systems
- blockchain technology applications and security
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
computer science
- machine learning and data classification
- neural networks and applications
- face and expression recognition
- evolutionary algorithms and applications
- machine learning and algorithms
computer science
- parallel computing and optimization techniques
- advanced data storage technologies
- interconnection networks and systems
- distributed and parallel computing systems
- embedded systems design techniques
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
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
computer science · mathematics
- complexity and algorithms in graphs
- advanced graph theory research
- markov chains and monte carlo methods
- computability
- logic
- ai algorithms
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
computer science · engineering
- topic modeling
- natural language processing techniques
- multimodal machine learning applications
- advanced vision and imaging
- robotics and sensor-based localization
computer science · engineering
- parallel computing and optimization techniques
- interconnection networks and systems
- embedded systems design techniques
- advanced data storage technologies
- radiation effects in electronics
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
computer science · decision sciences
- stochastic gradient optimization techniques
- adversarial robustness in machine learning
- advanced bandit algorithms research
computer science · engineering
- parallel computing and optimization techniques
- advanced data storage technologies
- cloud computing and resource management
- distributed and parallel computing systems
- advanced memory and neural computing
mathematics · computer science · engineering · physics and astronomy · social sciences
- advanced optimization algorithms research
- optimization and variational analysis
- electric power system optimization
- advanced radiotherapy techniques
- transportation planning and optimization
engineering · computer science
- human motion and animation
- video analysis and summarization
- data visualization and analytics
- human pose and action recognition
- computer graphics and visualization techniques
computer science
- parallel computing and optimization techniques
- advanced data storage technologies
- distributed systems and fault tolerance
- cloud computing and resource management
- security and verification in computing
engineering · psychology · neuroscience · computer science
- robot manipulation and learning
- teleoperation and haptic systems
- human-automation interaction and safety
- motor control and adaptation
- reinforcement learning in robotics
computer science · decision sciences
- distributed and parallel computing systems
- advanced data storage technologies
- scientific computing and data management
- distributed systems and fault tolerance
- cloud computing and resource management
physics and astronomy · computer science · biochemistry · genetics and molecular biology · engineering
- advanced optical sensing technologies
- advanced vision and imaging
- advanced fluorescence microscopy techniques
- optical measurement and interference techniques
- image processing techniques and applications
computer science
- advanced database systems and queries
- data management and algorithms
- cloud computing and resource management
- data mining algorithms and applications
- privacy-preserving technologies in data
computer science
- advanced malware detection techniques
- security and verification in computing
- network security and intrusion detection
- internet traffic analysis and secure e-voting
- adversarial robustness in machine learning
computer science
- network traffic and congestion control
- internet traffic analysis and secure e-voting
- network security and intrusion detection
- software-defined networks and 5g
- peer-to-peer network technologies
engineering · computer science · social sciences
- additive manufacturing and 3d printing technologies
- advanced malware detection techniques
- user authentication and security systems
- privacy
- security
- and data protection
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
computer science
- cryptography and data security
- complexity and algorithms in graphs
- cryptographic implementations and security
- privacy-preserving technologies in data
- chaos-based image/signal encryption
computer science · engineering
- machine learning and algorithms
- complexity and algorithms in graphs
- stochastic gradient optimization techniques
- sparse and compressive sensing techniques
- cryptography and data security
computer science · social sciences
- topic modeling
- natural language processing techniques
- computational and text analysis methods
computer science
- cloud computing and resource management
- advanced data storage technologies
- stochastic gradient optimization techniques
- parallel computing and optimization techniques
- iot and edge/fog computing
computer science
- adversarial robustness in machine learning
- advanced malware detection techniques
- privacy-preserving technologies in data
- security and verification in computing
- cryptography and data security
mathematics · engineering · computer science
- advanced optimization algorithms research
- sparse and compressive sensing techniques
- stochastic gradient optimization techniques
- optimization and variational analysis
- advanced control systems optimization
physics and astronomy · business · management and accounting · computer science · economics · econometrics and finance
- complex network analysis techniques
- corporate finance and governance
- caching and content delivery
- consumer market behavior and pricing
- financial markets and investment strategies
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
computer science
- distributed systems and fault tolerance
- advanced data storage technologies
- security and verification in computing
- parallel computing and optimization techniques
- cloud computing and resource management
computer science · decision sciences
- reinforcement learning in robotics
- adversarial robustness in machine learning
- machine learning and algorithms
- advanced bandit algorithms research
- topic modeling
computer science
- advanced data storage technologies
- distributed systems and fault tolerance
- cloud computing and resource management
- parallel computing and optimization techniques
- advanced database systems and queries
engineering · mathematics · computer science · physics and astronomy
- sparse and compressive sensing techniques
- statistical methods and inference
- stochastic gradient optimization techniques
- complex network analysis techniques
- machine learning and algorithms
neuroscience · computer science
- tactile and sensory interactions
- virtual reality applications and impacts
- interactive and immersive displays
- augmented reality applications
- gaze tracking and assistive technology