Hi, I am Omer Subasi.

My CV.

Current Projects:

Algorithm Level Proof of Bartok STM with QED and Tressa