Prof. Tobias Grosser — Research Profile
University of Cambridge · Department of Computer Science and Technology
About
케임브리지 대학교 컴퓨터과학기술학과 소속 Tobias Grosser 교수의 등록된 연구 분야는 Compilation, Computer Architecture, Programming Languages, Semantics and Verification입니다.
Research keywords
Recent papers
- Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled ReductionsProceedings of the ACM on Programming Languages · Oct 1
- A Dynamic Intermediate Representation for Hybrid Quantum-Classical ProgramsPreprintarXiv (Cornell University) · Sep 1
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: Quantum Computing Algorithms and Architecture
Roberto Bondesan 교수 연구실
Imperial College London · Department of Computing
Learnt Attacks on Quantum Key Distribution under Channel Noise and Device DriftPreprintarXiv (Cornell University) · Oct 1Kin Leung 교수 연구실
Imperial College London · Department of Computing
Photonic Quantum-Enhanced Knowledge DistillationPreprintResearch Square · Sep 8Aleks Kissinger 교수 연구실
University of Oxford · Department of Computer Science
Floquetifying stabiliser codes with distance-preserving rewritesQuantum · Sep 3
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