연구실 목록
Azalea Raad 교수 연구 프로필
임페리얼 칼리지 런던 · 컴퓨터학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
임페리얼 칼리지 런던 컴퓨터학과 소속 Azalea Raad 교수의 등록된 연구 분야는 Programming languages, formal methods, verification, concurrency입니다.
연구 키워드
Programming languagesformal methodsverificationconcurrency
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
Sam Staton 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Hippogriff: a semantic approach to uniting core and modules프리프린트arXiv (Cornell University) · 8월 20일Nobuko Yoshida 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global ProtocolsProceedings of the ACM on Programming Languages · 10월 1일Aleks Kissinger 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
TensorRocq: Enabling Diagrammatic Reasoning in RocqProceedings of the ACM on Programming Languages · 10월 1일
같은 학과의 다른 연구실
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- 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