Departments · 1
clear filtersecurity · systems
- computer architecture
- memory systems
- hardware security
software engineering
- program synthesis
- programming languages
- formal methods
machine learning · natural language processing
- nlp
- computer vision
- embodied ai
- 3d scene understanding
- vision-language
machine learning · robotics
- social robotics
- affective computing
- human-robot interaction
machine learning · natural language processing
- nlp
- machine translation
- parsing
- ml for language
systems
- computer architecture
- parallel systems
- compilers
machine learning · natural language processing
- nlp
- computational linguistics
- machine translation
machine learning
- medical image analysis
- computer vision
- machine learning
machine learning · robotics
- multi-agent / multi-robot path planning
- ai planning
cloud computing · distributed systems · networks
- multimedia networking
- cloud
- edge
- video streaming
- iot
security
- iot / wireless / protocol security
- systems security
data science · databases
- data cleaning
- big-data systems
- data management
machine learning
- evolutionary computation
- bioinformatics ml
machine learning
- machine learning
- generative models
- optimization
data science · distributed systems · systems
- distributed systems
- graph processing
- big-data systems
human-computer interaction · robotics
- human-robot interaction
- haptics
machine learning · security
- trustworthy ml
- certified robustness
- ai safety
machine learning
- embodied ai
- 3d scene understanding
- computer vision
machine learning · data science
- data mining
- machine learning
- recommender systems
- network analysis (dbscan co-author)
machine learning · natural language processing
- nlp
- llm evaluation
- long-context
- computational linguistics
machine learning · data science
- machine learning for genomics / computational biology
machine learning · robotics
- reinforcement learning
- safe control
- multi-agent systems
cloud computing · networks · systems
- multimedia systems
- networking
- video streaming
- edge/cloud
machine learning · data science
- data-centric ml
- data leverage
- ai & society
machine learning
- machine learning
- knowledge representation
- statistical relational learning
machine learning · security
- trustworthy ml
- ai/software security
software engineering · systems
- high-performance parallel text processing (parabix)
- compilers
software engineering
- program analysis
- program comprehension
- dynamic analysis
- debugging of web/js apps
machine learning
- machine learning
- optimization
- reinforcement-learning theory
machine learning · robotics
- learning-based & safe robot control
distributed systems · systems
- mobile systems
- operating systems
- distributed systems
- edge
security
- computer & network security
- protocol & crypto-implementation security
data science · databases · systems
- database systems
- transaction processing
- in-memory & storage
data science · security · systems
- formal methods
- systems modeling
- cybersecurity
- data analytics
- William (Nick) SumnerAssociate Prof; Associate Director (Academic & Administration)Computing Science
software engineering
- program analysis
- debugging
- dynamic analysis
- program slicing
machine learning
- deep learning
- automl
- scientific ml
- foundation models
machine learning · robotics
- reinforcement learning
- learning-based control (+ physics-based character animation)
machine learning
- computer vision
- 3d reconstruction
- structure-from-motion
software engineering
- program synthesis
- program verification
- formal methods
data science · databases
- data management
- data cleaning
- explanations for data
systems
- fpga / hardware acceleration
- computer architecture