Marcelo Fiore 교수 연구 프로필
케임브리지 대학교 · 컴퓨터과학기술학과
소개
케임브리지 대학교 컴퓨터과학기술학과 소속 Marcelo Fiore 교수의 등록된 연구 분야는 Programming Languages, Semantics and Verification입니다.
연구 키워드
최근 논문
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일
같은 학과의 다른 연구실
- Alan Blackwell 교수 연구실
Human-Centred Computing, Machine Learning and Artificial Intelligence, Programming Languages, Semantics and Verification
- Alastair Beresford 교수 연구실
Security, Systems and Networking, Programming Languages, Semantics and Verification
- Alice Hutchings 교수 연구실
Security
- Amanda Prorok 교수 연구실
Machine Learning and Artificial Intelligence, Mobile Systems, Robotics and Automation
- Andreas Vlachos 교수 연구실
Natural Language Processing, Machine Learning and Artificial Intelligence
- Andrew W. Moore 교수 연구실
Systems and Networking, Computer Architecture, Machine Learning and Artificial Intelligence, Security