Formal Verification, Control Theory, Stochastic Hybrid Systems, Cyber-Physical Systems, Energy and Safety-Critical Systems
Computer Vision, Machine Learning, DL for vision
Machine Learning, Trustworthy AI
NLP, Generative Models, Conceptualization
Reinforcement Learning, Game Thoery, Intelligent Transportation System, Computer Networks
Computer Science, Computational Complexity, Algorithms, Cryptography, Optimization
machine learning, robotics, reinforcement learning
natural language processing, human-centered machine learning, human-AI interaction, computational social science, pubs verified
Machine Learning, Representation Learning, Bayesian Inference, Optimization
Cognitive Science, Neuroscience
Machine Learning
Computer Science
Machine Learning, Computer Vision, NLP, Software Engineering, HCI, Novel deep network methods, Interactive visualizations and interfaces, Numerical methods
Natural Language Processing, Large Language Models, AI4Science
Machine Learning, Mathematical Optimization
Machine Learning, Computer Vision, Neuroimaging
AI safety and risk (esp. regulation and governance), AI alignment, reasons and their combination, preference change and its logic, truthmaker semantics and justification logic
Robotics, Machine Learning, Computer Vision, Artificial Intelligence
ML Security, Computer Security, Cryptography, Privacy
improved tools for Bayesian model criticism, identifiable and interpretable deep generative models
Machine Learning Security, Data Security
Machine Learning, Natural Language Processing
Software Engineering, Software Testing, Agent-oriented software development methodology, Software modelling languages
Machine Learning
Machine Learning, Computational Social Science, Artificial Intelligence, NLP
Machine learning, Statistics
safe learning, safety-critical control, dynamic games, safety-critical systems, AI safety
Artificial Intelligence
robotics, reinforcement learning, autonomous driving, control
Artificial Intelligence, Data Science, Intelligence, AI Evaluation, AI Safety
Computer Science, Automated Verification, Probabilistic/Quantitative Model Checking
Visualization, HCI, AI interpretability, user experience design
Physics
coordination models and languages, coalgebra theory and its application, model checking, theorem proving, software testing, cyber-physical systems, service-oriented and cloud computing, modeling and verification of blockchain and smart contracts, big data analysis, theoretical foundations of machine learning and deep learning and their application in formal verification
Machine Learning, Technological Change, Probabilistic Numerics, Bayesian Optimization, Gaussian Processes
dialog systems, natural language generation, text generation, sentiment analysis, natural language processing
natural language processing, deep learning, machine learning
reinforcement learning, multi-objective reinforcement learning, multiobjective reinforcement
Department of Engineering
Algorithms, Distributed Computing, Concurrency, Programming Languages
Machine Learning,l Computer Vision, Neural Coding
Data Integration, Algorithms, Responsible Data Science
Quantum computing, computational complexity
machine learning, AI safety and reliability
Controversy Detection, Information Retrieval, Ubiquitous Computing, Human-Computer Interaction
Artificial Intelligence
Deep Learning, Generalization, Specification, Dynamical Systems, Theoretical Ecology, Epidemiology, Climate Change, AI Governance, AI Safety, Responsible AI Development
Evolutionary Game Theory, Artificial Intelligence, Evolution of Cooperation, Multi-agent Systems
artificial intelligence, computer science, economics, philosophy, game theory
Bayesian deep learning, Deep generative models, PAC-Bayes
Computer vision, Pattern recognition, Image processing, Machine Learning, Deep Learning
Reinforcement Learning, AI Alignment, Multi-Agent Systems, Computational Social Science
Machine Learning, NLP
Computer Vision, Pattern Recognition, Large Multimodal Model, Large Language Model
Natural Language Processing, Causal Inference, Machine Learning, Artificial Intelligence, LLMs
Alignment, Scalable Oversight
Targeted Advertising, Algorithm Auditing, Security, Fairness
Grounded Language Learning, Multilingualism, Artificial Intelligence, NLP, Interpretability