ARE YOU LOOKING FOR A PhD MATHEMATICS EXPERT? I CAN HELP.
I have several years of experience doing mathematical research at the PhD and post-PhD level. I can run computations in computers, using languages such as Python, C++, C# and proof assistants such as Coq and Lean. Also, I have used machine learning frameworks such as Tensorflow and Microsoft Azure Machine Learning Studio. Some of the projects I have worked on are the following:
- I have proved many theorems in the algebra, order theory, logic, and set theory;
- I have checked many theorems in proof assistants Coq and Lean;
- I have developed quantum algorithms to model solutions to mathematical problems.
I have experience with several mathematical subjects at the research level. Some of them are:
- Set Theory
- Constructive Mathematics
- Algebraic Topology
- Theory of Computation
- And many more.
***Evidence of experience can be provided upon request.