## STUDENT RESEARCH PROJECTS

I am working in algorithmic information theory, automata, computability, quantum computing, and
philosophy and history of
mathematics.
My publications.
- Quantum Universality and Turing Completeness
- Born Rule and Algorithmic Randomness
- Collatz Problem, the Halting Problem and Randomness
- Dyson Statements that Are Likely to Be True but Unprovable
- Formal Proofs for AIT
- AIT Based Cryptography
- AIT Based Randomness Testing of Quantum Random Bits
- Exercises in De-Quantisation
- Diophantine Representation of Omega