Departments · 1
algorithms · artificial intelligence
- approximation / online algorithms
- graph algorithms
- ml: theory and modeling
artificial intelligence
- natural language processing
visualization · human-computer interaction
data systems usability · explainable ai · responsible data management · data quality
systems
- operating systems
algorithms · artificial intelligence · visual computing
- computational geometry
- computational topology
- ml and data analysis
- visualization
programming languages · gradual type systems · formal methods · human factors
visual computing
- computer graphics
scientific computing · visual computing
- computational inverse problems
- high-performance computing
- image analysis
- visualization
robotics · machine learning · artificial intelligence · human-computer interaction
- autonomous systems and learning
- human/medical robotics
data preparation · data discovery · data debugging · information extraction · data quality
human-centered computing
- computer science education
- human-computer interaction
computer architecture · high-performance computing · visual computing
- accelerators and vlsi
- computer graphics
databases · distributed systems
artificial intelligence · programming languages
- ml and systems
- formal verification and testing
machine learning · computer security
algorithms
- algorithms & data structures
- computational geometry
human-centered computing
- human-computer interaction
algorithms · data management
- approximation / online algorithms
- computational geometry
- stream processing
- approximate databases
computational fabrication
high-performance computing · programming languages
- compiler optimization
- formal verification and testing
security / privacy
- systems security
visual computing
- visualization
computer vision · natural language processing
high-performance computing · systems
- scalable systems
- networking
cyber-physical systems · iot · cybersecurity · formal methods
high-performance computing
- large scale data management
human-centered computing
- human-computer interaction
- social computing
computer graphics · discrete differential geometry
high-performance computing · scientific computing
- scientific computing
- modeling methods and frameworks
high-performance computing · programming languages · scientific computing
- compiler optimization
- scientific computing
programming languages
- language implementation
scientific computing · visual computing
- computational inverse problems
- high-performance computing
- modeling methods and frameworks
- visualization
artificial intelligence · security / privacy
- ml and systems
- mobile security
- systems security
statistical signal processing · wireless networks
visual computing
- visualization
programming languages
- formal verification and testing
- language implementation
security / privacy
- cryptography
computer architecture · high-performance computing
- accelerators and vlsi
- memory systems
- scalable machine learning
chemical sensors · neural interfaces · circuit design · high performance microprocessors · mixed signal microprocessors · biomedical implants
high-performance computing · cloud computing · computing sustainability
systems
- networking
- operating systems
- storage systems
high-performance computing · programming languages · scientific computing
- compiler optimization
- scalable machine learning
human-centered computing · security / privacy
- security and privacy
- sociotechnical aspects
artificial intelligence
- ml: theory and modeling
- physics-informed machine learning
artificial intelligence · visual computing
- image analysis and computer vision
systems · security / privacy
- networking
- systems security
security / privacy
- systems security
robotics
- autonomous systems and learning
robotics
- autonomous systems and learning
algorithms · scientific computing · visual computing
- computational geometry
- computational topology
- geometry and mesh generation
- high-performance computing
- image analysis
- visualization
artificial intelligence · scientific computing
- physics-informed machine learning
- geometry and mesh generation
- high-performance computing
- modeling methods and frameworks
computer architecture · programming languages · computer systems
- consistency models
- coherence protocols
- replication protocols
human-centered computing
- human-computer interaction
- design
- social computing
- digital health
- citizen science
artificial intelligence · high-performance computing
- natural language processing
- scalable machine learning
visual computing
- computer graphics
human-computer interaction · computer vision · deep learning
artificial intelligence
- computer vision