Departments · 1
cryptography · provable security · private information retrieval · oblivious ram · cryptography for ai
- cryptography
- provable security
- pir
- oblivious ram
- data structures
cryptography · security and privacy in distributed systems · lattices and decoding algorithms
- cryptography
- distributed systems security
- lattices
- privacy
formal methods and security · information flow · program verification · formal specification
- formal methods
- program verification
- information flow security
- specification
programming languages · semantics · software safety and security · type systems · language-based security
- programming languages
- type systems
- semantics
- language-based security
- distributed systems
3d computer vision · image-based 3d reconstruction · structure from motion
- 3d computer vision
- 3d reconstruction
- structure from motion
- geometry
formal methods · concurrency · program verification · reliable and efficient concurrent software
- formal methods
- concurrency
- program verification
- distributed systems
security for manufacturing systems and iot/iobt · data analytics and anomaly detection · network- and host-level security · trustworthy ai
- iot security
- iobt
- anomaly detection
- trustworthy ai
- network security
high-performance computing · gpu computing · computer architecture
- high-performance computing
- gpu computing
- computer architecture
trustworthy machine learning · information security and privacy
- trustworthy machine learning
- data privacy
- information security
machine learning theory and applications · label-efficient and active learning · noise-tolerant learning · large-scale optimization · high-dimensional statistics
- machine learning theory
- active learning
- robust learning
- optimization
- high-dimensional statistics
human-computer interaction · health informatics · social computing · human-centered ai
- human-computer interaction
- health informatics
- social computing
- human-centered ai
human-computer interaction · machine learning · accessibility
- human-computer interaction
- accessibility
- machine learning
- interactive systems
system and network security · cybercrime detection and prevention · performance evaluation and optimization · blockchain and cryptocurrency
- network security
- cybercrime
- blockchain
- cryptocurrency
- performance optimization
programming languages · semantics engineering · posix shell · formal methods
- programming languages
- semantics engineering
- posix shell
- formal methods
scientific machine learning · physics-informed machine learning · deep learning
- scientific machine learning
- physics-informed ml
- deep learning
- knowledge-guided ml
3d reconstruction · robotic perception · 3d shape representation and object recognition · perceptual organization · machine learning · active vision
- 3d reconstruction
- computer vision
- robotic perception
- object recognition
- active vision
machine learning · information retrieval · knowledge discovery · human-centered ai · healthcare informatics
- machine learning
- information retrieval
- knowledge discovery
- healthcare informatics
- nlp
causal inference · time series analysis · artificial intelligence for health
- causal inference
- time series
- health ai
- clinical data
- decision making
efficient machine learning · algorithm-system co-design for ai acceleration · large-scale ml for chip design · energy-efficient privacy-preserving ml
- efficient ml
- ai acceleration
- algorithm-system co-design
- ml for eda
- privacy-preserving ml
cryptography · algorithmic number theory · wireless security · secret sharing · secure multi-party computation · biometrics
- cryptography
- number theory
- wireless security
- secure multi-party computation
- biometrics
software verification · side-channel analysis · computer security · program analysis
- software verification
- side channels
- program analysis
- security
unsupervised and semi-supervised learning · probabilistic generative modeling · explainable ai · computer vision
- generative models
- unsupervised learning
- explainable ai
- computer vision
human-computer interaction · educational data mining · responsible ai
- human-computer interaction
- educational data mining
- responsible ai
- learning analytics
automated verification · cloud security · software engineering · formal methods · ai for software engineering · software engineering for ai
- automated verification
- formal methods
- cloud security
- ai4se
- se4ai
parallel and distributed computing and systems · next-generation ai hardware · high-performance mlsys · communication and privacy in federated learning
- parallel computing
- ai hardware
- mlsys
- llm systems
- federated learning
text mining and natural language processing · nlp for security and software engineering · automated machine learning for nlp
- nlp
- text mining
- nlp for software engineering
- security
- automl
machine learning · deep learning · graph neural networks · transfer and federated learning · use-inspired ai · data mining
- machine learning
- graph neural networks
- federated learning
- data mining
- use-inspired ai
machine learning · randomized algorithms
- machine learning
- randomized algorithms
- efficient ml
explainable and controllable ai · model interpretability for ai safety · reasoning and explanation · societal implications of ai agents
- explainable ai
- controllable ai
- interpretability
- ai safety
- nlp