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