What I am all about.
I'm Amirhoshang Hoseinpour Dehkordi.
A Ph.D. student at IPM, Tehran, Iran. Currently, I'm working on learning algorithms and
related formal verifications.
One way to do this is to map a formula to an AI problem's safety property.
Due to this project, we are going to analysis some bossiness and apply data science to automate some decisions.
I will attach a cover letter as soon as possible to describe more.