Hello there! I am Ariz, a graduate student at The University of Texas at Dallas. I specialize in Machine Learning and Artificial Intelligence, though I like doing projects on anything I find interesting in the field of Computer Science. I am currently based in Dallas, Texas. I like traveling, exploring fun stuff like music mixing, video editing and photography, and I usually surf the internet looking for new and exciting thing to learn. My most recent interests have been Quantum Computing (with IBM Qiskit) and Formal Verification of software (with OCaml and the Rocq Prover). I have extensive knowledge and experience in Computer Science and have worked on a variety of projects in the field. I am always looking for new opportunities to learn and grow, so feel free to reach out to me if you have any interesting projects or opportunities.