Farhad Vadiee

/fæɾˈhɒːd vadiːiː/

PhD Candidate

University of Bergen

Department of Informatics



About me

I am a Ph.D. student in the Department of Informatics at University of Bergen. I got my Master's degree at Sharif University of Technology (Iran). I am working in the project Automated Theorem Proving from the Mindset of Parameterized Complexity Theory ( AUTOPROVING ) under the supervision of Mateus de Oliveira Oliveira.

Research Interests
  • Parameterized Complexity
  • Automated Deduction
  • Combinatorics
  • Unitary Branching Programs: Learnability and Lower Bounds
    Fidel Andino, Maria Kokkou, Mateus de Oliveira Oliveira, Farhad Vadiee
    38-th International Conference on Machine Learning (ICML 2021) (accepted)
  • LUBP - Learning Unitary Branching Programs ( github )

I use to play piano in my spare time.

Designed by Fazi :)