What is this graph

I am currently pursuing a masters degree at EPFL. I have earned a Bachelor's degree in Computer Science and a Minor in Mathematics from the American University of Beirut in May 2015.

I enjoy playing Snooker, and Go/Baduk/Weiqi (currently ranked at 15kyu). I speak three languages: Arabic (formal arabic and the Lebanese dialect), English and French. I am currently learning German. I enjoy reading popular science books, mathematics/physics textbooks, and occasionally philosophical books. Recently I've been reading novels and I've picked up interest in reading more about the history of the Middle East. Here's a list of books from my Goodread account (may be helpful for picking a gift for me! I think books are the best gifts one could receive).

My favorite movies include the Lord of the Rings Trilogy, I also have a copy of The One Ring. I do not have a favorite band but I do enjoy a lot of folk (metal), hard/classic/soft rock, classical music and jazz.

- Quantum Comptutation from the perspective of Computability. Here's an
article about Quantum Computation
^{[PDF]} - Simulations of Natural Phenomenons.
- Formal Study of Programming Languages.

And in general anything "exotic".

I am proficient in many programming pradigms; imperative, object-oriented and functional, with preference to functional languages. I mainly use Python for small applications, Bash for write-once-execute-once code, C and CUDA for any heavy lifting, Octave for quick plotting and mathematical computations and D for any large project, and for small fun side projects I use Python or Javascript. I am proficient in these programming/scripting/markup languages

- C, D, Scheme, Java, Coq
- Python, Bash, Javascript, PHP
- LaTeX
- HTML, CSS (Sass) and Markown

I use ArchLinux, and Xmonad on top of it. I heavily use vim for any editing. I also heavily use the command line and Git. I subscribe to the Free Software Movement and I am the proud owner of a TypeMatrix keyboard.

**MG-QTM Simulator**Simulates MG-Quantum Turing Machines and visualises them. MG-QTMs are more general SR-QTMs^{[PDF]}. For the visualization of the graph I used a Forced-Directed Graph Drawing Algorithm^{[PDF]}.*[Completed but not released yet]***Braqet**A quantum programming language.*[In Progress]***Damncheck**A property-based testing library for D. [Source Code]**Simulation of a Quantum Particle in a Box**[Source Code] [PDF Report]I found the first 5,087,137 digits of*e*Project*e*in ~1hr29min in 2013. [Talk]**GodHands**Displays 3D models in anaglyph. [Source Code] [Demo]

Below are a list of projects I plan to do at some point

**Planet Collision Simulator**on the GPU using CUDA and an octree for optimization.**Story Manager**a platform for managing events in novels and characters and monitor their change across the timeline of the novel**IoT**a platform for monitoring the devices I have at home**Blog**Find some time to start a blog to document some interesting questions I keep having during my daily train commutes.

This graph represents a 69-state machine, in fact, a
quantum Turing machine ^{[PDF]}. It's a machine that
abides by the laws of quantum mechanics. This machine can be thought of performing
the following algorithm on each superposition `|k,x⟩`

in a 6-dimensional
Hilbert space H^{6} (H ⊗ ... ⊗ H, each spanned by {`|0⟩`

, `|1⟩`

}):

x ∈ ℕThis machine is important to me because 1) it took me a long time to come up with a QTM with conditional looping, 2) no one provided an example of a conditionally looping quantum Turing machine, 3) This graph was the reason for building the MG-QTM simulator and visualizer._{8}k ∈ ℕ_{8}while |x-k| < 4: x := x + 1 mod 8