Departments · 1
clear filtercomputer-aided design · biomedical image informatics · geometric modeling · self-organization
- cad
- biomedical imaging
- geometric modeling
- self-organization
formal software design modeling and analysis · software economics · software evolution and modularity
- software design
- software economics
- software evolution
- modularity
software engineering · machine learning and nlp for software engineering · software data analytics · mining software repositories · empirical software engineering
- software engineering
- nlp
- machine learning
- mining software repositories
- empirical se
human-centered ai · virtual avatars · virtual reality
- human-centered ai
- virtual avatars
- virtual reality
algorithmic mechanism design · multiagent resource allocation · approximation algorithms
- algorithmic mechanism design
- resource allocation
- approximation algorithms
programming languages and formal methods · type and effect systems · program verification for os kernels · computational linguistics
- programming languages
- formal methods
- type systems
- program verification
machine learning · algorithmic fairness · game theory
- machine learning
- algorithmic fairness
- game theory
computer algebra · design and analysis of algorithms · programming languages and compilers · automated performance tuning · dsp algorithms · parallel processing · high-performance computing
- computer algebra
- algorithms
- compilers
- performance tuning
- high-performance computing
computer vision · sparse coding · neuromorphic computing · medical image processing · computer graphics · artificial intelligence · game development
- computer vision
- neuromorphic computing
- medical imaging
- computer graphics
- ai
3d computer vision · 3d human digitization · generative ai · biometric recognition · ai in education and healthcare
- 3d computer vision
- human digitization
- generative ai
- biometrics
- deepfake detection
high-level programming languages · runtime support for non-general-purpose computation
- programming languages
- runtime systems
- domain-specific computation
software security · network security
- software security
- network security
- cybersecurity
game ai · computer games · artificial intelligence · machine learning · case-based reasoning
- game ai
- computer games
- ai
- machine learning
- case-based reasoning
algorithmic mechanism design
- algorithmic mechanism design
- game theory
- economics and computation
cognitive science · cognitive architectures · human-computer interaction · human factors · multitasking and interruptions · driver distraction
- cognitive science
- cognitive architectures
- hci
- human factors
- multitasking
theory of algorithms · graph theory · combinatorial optimization · computer vision
- algorithms
- graph theory
- combinatorial optimization
- computer vision
case-based reasoning · explainable ai · machine learning · textual analytics · natural language understanding · language models · recommender systems · knowledge management
- case-based reasoning
- explainable ai
- nlp
- language models
- recommender systems
natural language processing · large language models · artificial intelligence · ai and games · ai and creativity
- nlp
- large language models
- ai
- ai and games
- ai and creativity