Departments · 1
machine learning · artificial intelligence
- large language models
- data valuation
- federated learning
- deep learning
machine learning with graphs · graph neural networks
- trustworthy ai
- data-centric ai
- large language models
- graphrag
- knowledge graphs
large-scale linear algebra · machine learning
- randomized numerical linear algebra
- kernel methods
- low-rank approximation
- sketching
programming languages · software engineering · security
- static program analysis
- taint analysis
- secure computation
- verification of machine learning libraries
computer graphics · visualization
- geometry processing
- architectural design tools
- daylighting simulation
- cs education tools
network science · computer networks
- social networks
- community detection
- distributed computing
- complex systems
machine learning · data science · cybersecurity
- bioinformatics
- medical informatics
- complex networks
- combinatorial optimization
- graph neural networks
distributed computing · concurrent programming languages
- cloud and edge computing
- software verification
- actor model
- safer flight systems
- middleware
computer vision
- animal re-identification
- ecology and conservation applications
- image registration
- biometrics
theory and algorithms · machine learning
- theoretical computer science
- algorithm design
- machine learning theory
parallel and distributed systems · modeling and simulation
- parallel discrete-event simulation
- high performance computing
- exascale systems
- network simulation
algorithmic game theory · economics and computation
- mechanism design
- matching markets
- auctions
- voting
- explainable algorithms
knowledge representation and reasoning · semantic web · artificial intelligence
- ontologies
- explanation and trust
- semantic technologies
- health informatics
- earth and space science informatics
algorithmic game theory · theoretical computer science
- social choice and voting
- network formation
- matching markets
- approximation algorithms
- graph algorithms
graph and network mining · high performance computing
- big data analytics
- parallel computing
- machine learning
- bioinformatics
semantic web · artificial intelligence · data science
- knowledge graphs
- open data
- semantic data integration
- ai and machine learning
- data policy
network science · machine learning
- network resilience
- robustness and control
- complex systems
- cascading failures
- agentic ai
data privacy and security · trustworthy ai
- security and privacy of machine learning
- big data analytics
- distributed systems
- cloud computing
machine learning · quantum computing
- computational finance
- social and communication networks
- prediction markets
- multi-agent systems
data mining · machine learning · graph learning · bioinformatics
- graph mining
- personal health analytics
- financial text analytics
- knowledge discovery
decentralized systems · web · blockchain · artificial intelligence
- blockchain
- knowledge graphs
- health informatics
- decentralized finance
- privacy
safe and secure autonomous systems · cyber-physical systems
- neural network verification
- formal methods
- control theory
- sensor fusion
- machine learning
trust · social networks · databases
- misinformation detection
- information retrieval
- trust modeling
- social network analysis
distributed computing systems · machine learning · data privacy
- federated learning
- formal verification
- quantum machine learning
- edge computing