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