Martti Karvonen is an author at University of Edinburgh specializing in quantum computing, formal methods, and representation theory.
Top concepts
EngineeringFormal MethodsComputer ScienceInverse ProblemsProgram AnalysisHardware SecurityQuantum ComputingFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2016–2019
3
3
A comonadic view of simulation and quantum resources
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen et al. · 2019 · 17 citations · Full text
Christiaan Heunen, Martti Karvonen · Edinburgh Research Explorer · 2016 · 15 citations · Full text
Rows per page
1–3 of 3