## STUDENT RESEARCH PROJECTS

I am working in algorithmic information theory, automata, computability, quantum computing, and
philosophy and history of
mathematics.
My publications.
- 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
- Diophantine Representation of Omega