Departments · 1
clear filtercyber-physical systems · internet of things · wireless networks · real-time systems
- iot
- lpwan
- embedded systems
- real-time scheduling
coding theory · quantum error correction · information theory
- quantum codes
- error correction
- information theory
computational geometry · algorithms · approximation algorithms
- computational geometry
- approximation algorithms
- clustering
- Bhavani ThuraisinghamLouis A. Beecherl Jr. Distinguished Professor; Founders ChairComputer Science
List data security and privacy · cybersecurity · data mining
- data security
- privacy
- ml for cybersecurity
storage systems · computer architecture · memory systems
- storage systems
- non-volatile memory
- computer architecture
systems security · software security · program analysis
- iot security
- program analysis
- systems security
computer graphics · geometric modeling · computer vision
- computer graphics
- geometric modeling
- 3d
theory of computing · computational complexity · algorithms
- complexity theory
- algorithms
- formal methods
algorithms · bioinformatics · string algorithms
- string algorithms
- computational biology
- data structures
combinatorial optimization · algorithms · theory of computing
- optimization
- social networks
- wireless networks
- approximation algorithms
software engineering · software reliability · high-assurance systems
- software reliability
- real-time systems
- dependable computing
machine learning · data mining · spatial data analysis
- anomaly detection
- spatiotemporal data
- graph mining
logic programming · programming languages · artificial intelligence
- logic programming
- knowledge representation
- answer set programming
machine learning · computer vision · pattern recognition
- computer vision
- dimensionality reduction
- algorithms
distributed systems · fault tolerance · service computing
- fault tolerance
- security
- service computing
network security · wireless security · protocol analysis
- 5g/4g security
- cellular networks
- protocol verification
optical networks · computer networks · network optimization
- optical networking
- network survivability
- network design
natural language processing · text summarization
- summarization
- nlp
- computational linguistics
human-computer interaction · haptics · virtual reality
- haptics
- hci
- ar/vr
systems security · embedded security · trusted computing
- embedded security
- trusted execution
- iot security
computer networks · network protocols · distributed systems
- network protocols
- qos
- self-stabilization
computer networks · network measurement · network security
- network measurement
- network security
- internet topology
systems security · program analysis · intrusion detection
- data provenance
- threat detection
- systems security
computer security · language-based security · software security
- language-based security
- malware
- binary rewriting
data mining · big data · machine learning · cybersecurity
- stream mining
- big data
- ml for security
software engineering · requirements engineering
- non-functional requirements
- goal-oriented modeling
- software architecture
embedded systems · cyber-physical systems · internet of things
- battery management
- energy systems
- iot
- cps
distributed systems · distributed algorithms · concurrent computing
- distributed algorithms
- concurrency
- parallel computing
machine learning · probabilistic graphical models · statistical inference
- graphical models
- inference
- machine learning
computational geometry · algorithms · medical imaging
- geometric algorithms
- optimization
- biomedical computing
computer networks · wireless networks · distributed systems
- mobile computing
- wireless networks
- distributed systems
human-computer interaction · virtual reality · computer graphics
- hci
- vr
- immersive systems
- graphics
machine learning · submodular optimization · deep learning
- data subset selection
- submodularity
- efficient ml
software engineering · multi-agent systems · autonomous systems
- multi-agent systems
- simulation
- autonomous systems
natural language processing · question answering · medical informatics
- nlp
- information extraction
- clinical nlp
computational geometry · algorithms · graph theory
- computational geometry
- combinatorics
- bioinformatics algorithms
program analysis · software security · software engineering
- static analysis
- program analysis
- software security
cybersecurity · network security · web security
- online deception
- web security
- network measurement
software testing · algorithms · software engineering
- software testing
- algorithms
- reliability
software engineering · software testing · automated program repair
- automated program repair
- debugging
- test generation
machine learning · statistical relational learning · artificial intelligence
- probabilistic graphical models
- relational learning
- ai
software engineering · program analysis · mining software repositories
- ai for software engineering
- program analysis
- software mining
artificial intelligence · machine learning · probabilistic graphical models
- probabilistic reasoning
- graphical models
- inference
natural language processing · computational linguistics
- coreference resolution
- nlp
- discourse
software testing · fault localization · software reliability
- fault localization
- debugging
- software reliability
software engineering · program analysis · mobile security
- program analysis
- mobile security
- ml security
combinatorial optimization · algorithms · social networks
- optimization
- social networks
- data science
- wireless networks
computer graphics · geometric modeling · visualization
- geometric modeling
- medical imaging
- 3d reconstruction
software security · vulnerability detection · software engineering
- vulnerability detection
- ml for security
- software security
natural language processing · large language models
- information extraction
- nlp
- llms
- event extraction
computer vision · multimodal machine learning · deep learning
- audio-visual learning
- multimodal
- computer vision
machine learning systems · edge computing · sustainable computing
- ml systems
- energy-efficient computing
- edge ai
robotics · computer vision · robot perception
- robot perception
- manipulation
- computer vision
machine learning · computer vision · deep learning
- continual learning
- deep learning
- computer vision
cryptography · information security
- cryptography
- threshold cryptography
- computer security
natural language processing · large language models
- nlp
- question answering
- llms
- reasoning