"Improbabilitas impossibilitatem non significat."

Greetings! I am a recent graduate in Computer Science and Mathematics from Rensselaer Polytechnic Institute (RPI). My research interests lie at the intersection of mathematics, computer science, physics, and linguistics, especially quantum information theory, formal verification, and natural language processing.

I believe that groundbreaking insights happen at the intersections. So I thought myself to become a full-stack quantum researcher bridging the gap between abstract theory and practical application. I study and build tools to make quantum computing more rigorous, efficient, and last but not least, accessible for everyone.

If you share the vision of building rigorous and verifiable quantum systems, I would be honored to collaborate. Let's expand the boundaries of quantum computing together; I look forward to connecting!

• QuantumC
  • Goal: Solving the possible post-processing bottlenecks in quantum workflow.
  • Status: Active Development
• Pictura Quantica
  • Goal: Practical implementation of QML algorithms on simulators and NISQ devices.
  • Status: Improving Learning Model and Feature Implementation
• GQA and QAOA for QUBO Problems
  • Goal: Comparative analysis of GQA and QAOA on QUBO problem settings in terms of speed and accuracy.
  • Status: Verifying Results Before Release
• Open Quantum Computing Textbook
  • Philosophy: "Teaching is the best way to learn."
  • Status: Seeking the Hosting Page

• Programming Languages: Python, Q#, C, C++, Java, and JavaScript
• Libraries & Packages: Qiskit, Cirq, PennyLane, PyTorch, and Tensorflow
• Markup Languages: $\LaTeX$, Markdown, HTML, and CSS

• Mathematics
  • Reviewing undergraduate level mathematics for Open Quantum Computing Textbook.
  • Deepening my understanding in formal verification with Lean and Coq.
• Computer Science
  • Reviewing compiler theory for the QuantumC project.
  • Exploring lambeq and quantum natural language processing.
• Physics
  • Learning basic quantum mechanics for the better understanding of quantum computing.
• Linguistics
  • Studying the structures of classical and extinct languages (e.g., Latin and Tangut).
• General
  • Learning personal finance.

• Mathematics: All the Math You Missed by Thomas A. Garrity
• Computer Science: QML Unlocked by Javier Mancilla Montero
• Physics: Quantum Physics For Dummies by Andrew Zimmerman Jones
• Linguistics: ∅
• General: ∅

• Email: parkdaniel1002@gmail.com
• LinkedIn: https://www.linkedin.com/in/parkdaniel1002
• Threads: https://www.threads.com/@parkdaniel1002

$$\ket{\psi(\theta, \phi)} = \cos\left(\frac{\theta}{2}\right)\ket{0} + e^{i\phi}\sin\left(\frac{\theta}{2}\right)\ket{1}$$