Departments · 1
data mining · machine learning · data science
- data mining
- deep learning
- computer vision
- explainable ai
- responsible ai
- generative ai
computer systems · cloud computing · operating systems
- cloud computing
- virtualization
- parallel & distributed systems
- operating systems
- storage systems
- computer architecture
parallel computing · algorithms
- multi-core & parallel computing
- parallel algorithm design
- experimental algorithmics
- interprocessor communication
- graph theory
software engineering · program verification · program repair
- software testing
- program verification
- automated program repair
- relative correctness
parallel computing · systems
- virtualization
- virtual machine migration
- linux kernel
- parallel computing
algorithms · combinatorial optimization
- algorithm design
- combinatorial optimization
- approximation algorithms
computer vision · pattern recognition · machine learning
- video analytics
- face/iris recognition
- biometrics
- image processing
- kernel methods
mobile systems security · applied machine learning · mobile sensing
- applied machine learning
- security & privacy for mobile systems
- trustworthy ml/ai
- mobile sensing
computer graphics · geometry processing · geometric modeling
- triangle meshes
- mesh processing
- barycentric coordinates
- conformal maps
- digital geometry
mobile computing · distributed systems · networking
- mobile computing & sensing
- ad hoc & vehicular networks
- distributed systems
- cloud computing
- computational advertising
databases · data warehousing · query processing
- materialized views
- data warehousing
- query optimization
- tree-structured & graph data
- keyword search
image processing · computer vision · information security
- image processing
- biometrics identification
- sensor networks
- solar image analysis
- computer graphics
artificial intelligence · deep learning · blockchain
- applied ai
- large language models
- deep learning
- blockchain technologies
software & systems security · program analysis · machine learning
- binary code analysis
- malware detection
- ml for cybersecurity
- software security
algorithms · spectral graph theory · graph machine learning
- algorithm design
- spectral graph theory
- algebraic algorithms
- graph machine learning
- deep learning
software engineering · program analysis · mobile software
- static program analysis
- android app analysis
- software evolution
- dynamic software updating
global optimization · stochastic simulation · algorithms
- global optimization
- simulation output analysis
- probabilistic algorithms
- complexity analysis
pervasive computing · software engineering · computer science education
- pervasive computing for smart health
- crowdsensing
- broadening participation in computing
- cs/ai education
real-time systems · parallel computing · reinforcement learning
- real-time & cyber-physical systems
- parallel computing
- reinforcement learning for systems
- scheduling
- operations research
mobile & pervasive computing · edge ai
- mobile & pervasive computing
- edge ai
- human-autonomy teaming
machine learning · information theory · complex systems
- information theory
- representation learning
- explainable ai
- deep learning
- complex systems
software engineering · software verification · program analysis
- software verification
- static analysis
- program verification
- developer tools
stochastic simulation · monte carlo methods · statistics
- monte carlo
- quasi-monte carlo
- discrete-event simulation
- variance reduction
- risk analysis
algorithms · operations research · artificial intelligence
- algorithms
- operations research
- online algorithms
- artificial intelligence
computer graphics · geometric design · machine learning
- geometric design
- computer graphics
- digital fabrication
- machine learning
computer security · data privacy · cloud security
- cloud storage security
- software supply chain security
- remote data integrity
- network coding security
- side-channel attacks
data management · human-in-the-loop analytics · crowdsourcing
- crowdsourcing
- data analytics
- data exploration
- optimization
- human computation
databases · data security · cloud computing
- databases
- secure data processing
- trustworthy iot
- cloud computing
- ml in databases
neurosymbolic ai · machine learning · optimization
- neurosymbolic ai
- explainable systems
- neural combinatorial optimization
- deep reinforcement learning
human-robot interaction · robotics
- human-robot interaction
- human-centered interfaces
- collaborative robots
databases · multimedia databases · information retrieval
- multimedia databases
- spatio-temporal databases
- recommender systems
- similarity search
biomedical informatics · medical ontologies · knowledge representation
- snomed ct
- umls
- ontology quality assurance
- abstraction networks
- semantic networks
bioinformatics · statistical machine learning · deep learning
- genome-wide association studies
- statistical genetics
- single-nucleotide polymorphisms
- deep learning
- genomics
systems security · operating systems · mobile computing
- operating systems
- mobile computing
- security & privacy
- trusted hardware