Registered user since Tue 20 Oct 2015
Name:Mathys Rennela
Country:France
Affiliation:Unitary Foundation
Personal website: https://mathysrennela.github.io/
GitHub: https://github.com/MathysRennela
Research interests:Quantum programming languages, Quantum algorithms, Semantics, Verification
Contributions
POPL 2027-profile
View general profile
View general profile