Witzel, Wayne M.

1. The remarkable prospect for quantum-dot-coupled tin qubits in silicon
   2022/06/13 by Wayne Witzel, Witzel, Wayne M., Jesse J. Lutz +3 · 1 citation
   Engineering · Physics and Astronomy · #FOS: Physical sciences #Mesoscale and Nanoscale Physics (cond-mat.mes-hall) #Quantum Physics (quant-ph) #Quantum and electron transport phenomena #Semiconductor materials and devices #Surface and Thin Film Phenomena
2. Prove-It: A Proof Assistant for Organizing and Verifying General\n Mathematical Knowledge
   2020/12/20 by Wayne Witzel, Witzel, Wayne M., Warren D. Craft +5 · 1 voice
   Computer Science · #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Numerical Methods and Algorithms #Quantum Physics (quant-ph)