Skip to content

Farzad Jafarrahmani

  • BSc student
  • Sharif University of Technology
  • 10Followers
  • 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 (10)

Explore network

Following (29)

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

BSc student

Sharif University of Technology

October 2012 - Present