-
codes especially based on stabilizer formalism, and Gottesman-Kitaev-Preskill states. Knowledge of iterative decoders, low-density parity-check codes. Proficiency in Linux, Windows operating systems, C
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions