Oscar Puente

Mathematician & Computer Scientist. Working on the Q# compiler. Interested in category theory, linguistics, and mission-critical applications.