Prof. Alastair Donaldson — Research Profile
Imperial College London · Department of Computing
About
임페리얼 칼리지 런던 컴퓨터학과 소속 Alastair Donaldson 교수의 등록된 연구 분야는 Formal verification, software performance optimization입니다.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Earl Barr 교수 연구실
University College London · Department of Computer Science
Cadence: Strategic Guidance for Coding AgentsNewPreprintarXiv (Cornell University) · Oct 8Shared topic: Software Engineering Research
Federica Sarro 교수 연구실
University College London · Department of Computer Science
When Code Becomes an LLM Call: An Empirical Study of Call-Site Contracts in Agentic SystemsNewPreprintarXiv (Cornell University) · Oct 17Shared topic: Software Engineering Research
Nobuko Yoshida 교수 연구실
University of Oxford · Department of Computer Science
Fine-grained Causal Reversibility for Asynchronous Channel-based ProgrammingPreprintarXiv (Cornell University) · Aug 29Shared topic: Software Testing and Debugging Techniques
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality
- Antoine Cully 교수 연구실
Robotics, artificial intelligence, robot learning