Departments · 1
software engineering · software testing · program analysis
- software testing
- program analysis
- test oracles
- automated debugging
internet of things · real-time and embedded systems · wireless networks · cyber-physical systems
- iot
- real-time systems
- embedded systems
- wireless networks
- cyber-physical systems
quantum computing · quantum error correction · coding theory
- quantum error correction
- coding theory
- quantum information
algorithms and theory · computational geometry · computational topology · combinatorial optimization · approximation algorithms
- computational geometry
- approximation algorithms
- computational topology
- randomized algorithms
cyber security · data security and privacy · data mining · assured information sharing · biometrics
- data security
- privacy
- cyber security
- data mining
- assured information sharing
computer and storage systems · intelligent and emerging storage · systems for big data · energy-efficient architecture
- storage systems
- dna storage
- ml for systems
- computer architecture
computer systems security · cyber-physical security · software security and reliability
- systems security
- cyber-physical security
- software reliability
- fuzzing
computer graphics · 3d content generation · geometric modeling · computational fabrication
- computer graphics
- 3d content generation
- geometric modeling
- 3d printing
- visual computing
computational complexity theory · automata and formal languages · concurrency theory · communication networks and protocols
- computational complexity
- automata theory
- formal languages
- concurrency
algorithms · data structures · string algorithms · computational biology
- string algorithms
- data structures
- bioinformatics
- combinatorial algorithms
algorithms · combinatorial optimization · approximation algorithms · wireless networks · social networks
- combinatorial optimization
- approximation algorithms
- steiner trees
- wireless networks
- nonlinear optimization
software engineering · real-time and embedded systems · software reliability and safety · fault-tolerant distributed systems · formal methods
- software reliability
- real-time systems
- fault tolerance
- automated software synthesis
- high-assurance systems
machine learning · data mining · anomaly event and fraud detection · spatio-temporal data analysis · graph mining and network science
- machine learning
- anomaly detection
- graph mining
- spatiotemporal data
- big data
programming languages · logic programming · software engineering · artificial intelligence · parallel and distributed processing
- logic programming
- constraint programming
- programming languages
- answer set programming
- semantics
computer vision · machine learning
- computer vision
- machine learning
- algorithms
high-assurance systems · parallel and distributed computing · secure and dependable systems · component-based systems
- high-assurance systems
- distributed computing
- dependability
- security
network and system security · 5g and 6g security · protocol security
- network security
- 5g
- 6g
- cellular security
- protocol analysis
- formal methods
optical networks · network survivability · optical switching · energy-efficient networking
- optical networks
- network survivability
- optical burst switching
- networking
natural language processing · summarization · text generation · scientific document processing
- summarization
- text generation
- nlp
- computational narrative
human-computer interaction · virtual and augmented reality · haptics
- hci
- haptics
- virtual reality
- augmented reality
systems security · cybersecurity
- systems security
- cybersecurity
- trusted computing
- embedded security
computer networks · network protocols · quality of service · mobile computing · distributed computing
- network protocols
- quality of service
- mobile computing
- distributed computing
computer networks and protocols · network monitoring and internet measurement · software-defined network security
- computer networks
- network measurement
- sdn security
- internet architecture
systems security · network security · iot and scada security · machine learning security
- systems security
- data provenance
- intrusion detection
- apt
- ai security
cyber security · language-based security · software security
- language-based security
- software security
- binary rewriting
- malware defense
- program transformation
data mining · big data analytics · machine learning · multimedia information management · intrusion detection
- data mining
- big data
- stream mining
- semantic web
- intrusion detection
software engineering · requirements engineering · non-functional requirements · software architecture · conceptual modeling
- requirements engineering
- non-functional requirements
- software architecture
- goal modeling
human-computer interaction · digital fabrication · haptics · accessibility · tangible interaction
- hci
- digital fabrication
- tactile and haptic interfaces
- accessibility
distributed systems · distributed algorithms · wireless network security · software transactional memory
- distributed computing
- distributed algorithms
- concurrency
- software transactional memory
machine learning · probabilistic graphical models · approximate inference · combinatorial optimization
- graphical models
- approximate inference
- message passing
- belief propagation
- optimization
computational geometry · algorithms and optimization · bio-medical computing · applied machine learning
- computational geometry
- algorithms
- biomedical computing
- medical imaging
wireless networking · mobile computing · distributed algorithms · 360-degree video streaming · virtual and augmented reality
- wireless networking
- mobile computing
- distributed algorithms
- 360 video
- ar/vr
augmented reality · virtual reality · human-computer interaction · computer graphics · eye-tracking
- augmented reality
- virtual reality
- hci
- computer graphics
- eye-tracking
machine learning · submodular optimization · data subset selection
- machine learning
- submodular optimization
- data subset selection
- deep learning efficiency
intelligent transportation systems · autonomous vehicle systems · multi-agent systems · large-scale simulation · digital twins
- multi-agent systems
- intelligent transportation
- autonomous systems
- simulation
- digital twins
natural language processing · medical informatics · artificial intelligence for public health
- natural language processing
- question answering
- medical informatics
- text mining
computational geometry · geometric optimization · computational biology and bioinformatics · pattern matching
- computational geometry
- bioinformatics
- facility location
- pattern matching
- algorithms
software engineering · security · programming languages · program analysis
- software engineering
- program analysis
- security
- static analysis
cyber security · web security · network measurement · online deception detection
- web security
- network measurement
- online deception
- abuse detection
software testing · computational geometry · software reliability estimation
- software testing
- computational geometry
- software reliability
artificial intelligence · machine learning · statistical relational learning · reinforcement learning · graphical models
- statistical relational ai
- machine learning
- reinforcement learning
- graphical models
- healthcare ai
software engineering · mining software repositories · program analysis · ai for software engineering
- software engineering
- mining software repositories
- program analysis
- code generation
- deep learning for code
machine learning · artificial intelligence · probabilistic graphical models · data mining · big data
- probabilistic graphical models
- markov logic
- approximate inference
- machine learning
natural language processing · computational linguistics · machine learning
- natural language processing
- coreference resolution
- computational linguistics
- machine learning
software testing · debugging · fault localization · software reliability and safety
- software testing
- fault localization
- debugging
- software reliability
software engineering · security · ai and ml for edge devices · program analysis
- software engineering
- security
- mobile and iot security
- ai on edge
- program analysis
social networks · combinatorial optimization · big data · data mining · wireless sensor networks · machine learning
- social networks
- combinatorial optimization
- data mining
- wireless sensor networks
- influence maximization
computer graphics · geometric modeling and processing · computer vision · medical image computation
- computer graphics
- geometric modeling
- computer vision
- medical imaging
software security · ai for software security · vulnerability detection · container security · network security
- software security
- vulnerability detection
- patch management
- ai security
- container security
natural language processing · large language models · information extraction
- nlp
- information extraction
- large language models
- text generation
computer vision · audio-visual learning · multimodal ai
- computer vision
- audio-visual learning
- multimodal learning
- machine perception
cyber-physical systems · mobile computing · machine learning
- cyber-physical systems
- mobile computing
- machine learning
- energy systems
robotics · computer vision · robot perception · manipulation
- robotics
- computer vision
- object pose estimation
- robotic grasping
- manipulation
machine learning · computer vision · continual learning
- machine learning
- computer vision
- continual learning
- efficient deep learning
cryptography · information security · secure multiparty computation · network security · access control
- cryptography
- secret sharing
- secure multiparty computation
- access control
- cryptanalysis
natural language processing · large language models · deep learning
- nlp
- llm agents
- retrieval-augmented generation
- deep learning