Departments · 1
Professors · 27
machine learning · robotics
- autonomous mobile robotics
- computer vision
- geometric deep learning
- manipulation planning
- robust perception
- sensor calibration
systems
- high-performance computing
- scientific computing
- mathematical software
machine learning · security
- trustworthy ml (differential privacy
- fairness
- interpretability)
- generalization
- theoretical ml
machine learning
- theoretical ml
- interactive learning algorithms
- fairness in ml
machine learning · natural language processing
- nlp
- computational social science
- conversation modeling
- health communication
machine learning · natural language processing
- nlp
- language modeling
- conversational agents
- personalization
- computational social science
human-computer interaction · robotics
- human-robot interaction
- social robotics
- assistive robots
systems
- resource management for computer systems
- scheduling of stochastic systems
- capacity planning
software engineering · systems
- programming theory & languages
- compiler construction (multi-core/simd)
- concurrent algorithms & data structures
data science · databases
- data quality
- data profiling
- data cleaning
- data change exploration
- temporal graph mining
machine learning · security
- theoretical ml
- differential privacy
- distribution learning
- robustness to adversarial perturbations
machine learning · software engineering
- reinforcement learning
- digital twins
- model-driven engineering
software engineering
- programming languages
- mechanized mathematics
- program generation
- meta-programming for software engineering (agda)
security
- post-quantum cryptography
- applied cryptography
- quantum computing
machine learning · data science
- data mining & big-data analysis
- large-scale graph ml
- trustworthy ml (interpretability
- privacy
- fairness)
machine learning
- ai & computer vision for healthcare
- medical imaging
data science · security
- string algorithms & data structures
- big-data pattern analysis
- information retrieval
- data compression
- network security
robotics
- microrobots
- soft continuum & medical robots
- mechatronics
- control
- vision & sensing
- localization
cloud computing · software engineering · security
- software engineering
- model-driven engineering
- safety & security
- formal methods
- cloud computing
- search-based se (automotive/aerospace)
data science · software engineering · security
- information & network security
- software engineering
- data analytics
- architecture design
- formal methods
- ontology-based analytics
machine learning · networks · systems
- mmwave & non-contact sensing
- mobile/wireless systems
- ml for sensing (health/fitness monitoring)
software engineering · systems
- concurrency
- fundamentals of software engineering
- abstract approximation
- rough sets
machine learning · distributed systems
- distributed optimization / federated machine learning for transportation
- supply chains
- construction
software engineering
- software engineering
- software architecture (microservices)
- devops
- modelling
software engineering
- software engineering methods/tools to improve research-software quality
machine learning · robotics
- genetic programming
- reinforcement learning
- robotics
- creativity
machine learning
- human-ai collaborative systems
- applied machine learning