-
these areas (UPPAAL, Concuerror, Nidhugg and other tools), publishing in top conferences such as POPL, PLDI, ICALP and CAV. Project description As both private and public investment in quantum computing
-
experiments. For more information about our group and current projects, please visit https://qtech.fysik.su.se/ . This project is funded within the QuantERA II Programme that has received funding from the EU
Enter an email to receive alerts for quantum-computer "https:" "https:" positions