Prof. Marcelo Fiore — Research Profile
University of Cambridge · Department of Computer Science and Technology
About
Prof. Marcelo Fiore at University of Cambridge Department of Computer Science and Technology lists Programming Languages, Semantics and Verification as their registered research area.
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
Shared topic: Logic, programming, and type systems
Sam Staton 교수 연구실
University of Oxford · Department of Computer Science
Hippogriff: a semantic approach to uniting core and modulesPreprintarXiv (Cornell University) · Aug 20Nobuko Yoshida 교수 연구실
University of Oxford · Department of Computer Science
Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global ProtocolsProceedings of the ACM on Programming Languages · Oct 1Aleks Kissinger 교수 연구실
University of Oxford · Department of Computer Science
TensorRocq: Enabling Diagrammatic Reasoning in RocqProceedings of the ACM on Programming Languages · Oct 1
Other labs in this department
- 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