• About Me

    My name is Kiarash Rahmani / ˈkiːəræʃ ræhmɔnɪ / (written as کیارش رحمانی in Persian).
    I was born in October 30, 1991 in Tehran.

    I am a senior B.Sc student at Department of Mathematical and Computer Sciences at Sharif University of Technology.

    My major interest is logic. Specially its applications in computer science. I am currently working at Logic Group of Sharif University as a research assistant.