Skip to content

Farzad Jafarrahmani

  • BSc student
  • Sharif University of Technology
  • 8Followers
  • 29Following

Research interests

AlgebraTheory of ComputationAutomata and LogicLogic ProgrammingFormal MethodsModel checkingAutomated theorem provingAutomated Reasoning

About

I am a BSc student of computer science and mathematics in Sharif university of technology. My research interests are automated reasoning, model checking, logic programming, automata and logic, mathematical logic and automated verification.

Followers (8)

  • Ion Iacob

    Ion IacobGheorghe Asachi Technical University of Iasi

  • Maria P. Nikolova

    Maria P. NikolovaUniversity of Rousse Angel Kanchev

  • Vladimir Martynov

    Vladimir Martynov

  • Maxim Kotsemir

    Maxim KotsemirState University Higher School of Economics

  • Ryan Cooper

    Ryan Cooper

  • Peter Simon

    Peter Simon

Explore network

Following (29)

  • Ion Iacob

    Ion IacobGheorghe Asachi Technical University of Iasi

  • Maria P. Nikolova

    Maria P. NikolovaUniversity of Rousse Angel Kanchev

  • Vladimir Martynov

    Vladimir Martynov

  • Maxim Kotsemir

    Maxim KotsemirState University Higher School of Economics

  • Ryan Cooper

    Ryan Cooper

  • Jan Reichelt

    Jan Reichelt

Explore network

Professional experience

Intern student

Yale-NUS College

July 2016 - September 2016(2 months)

Intern student

School of Computing at National University of Singapore

July 2015 - September 2015(2 months)

Education history

BSc student

Sharif University of Technology

October 2012 - Present